[Savannah-hackers-public] Is something wrong with Savannah's Git server?

[Eli Zaretskii]

It is extremely unresponsive lately.  I type "git pull" and wait for
several minutes(!) with nothing happening.

Help!