[Savannah-hackers-public] Git busy?

[Eli Zaretskii]

Is something wrong with Git on Savannah?  "git pull" gets stuck
indefinitely (as in "longer than I had the patience to sit and wait").

Could someone please take a look?

TIA