[Savannah-hackers-public] Git on Savannah is very slow, again

[Eli Zaretskii]

After a couple of days of normal speed, more or less, the slowdown is
back: it just took me about 15 sec to push a small change.  Could
someone see if this could be improved, please?

TIA