[Savannah-hackers-public] git.savannah is exceedingly slow

[Eli Zaretskii]

"git pull" takes a minute or so, and "git push" already took 10 min
and is still not done...

Could someone please look into this?