[Savannah-hackers-public] Git on Savannah unavailable?

[Eli Zaretskii]

Hi,

For the last hour or so, I cannot update from Git on Savannah: it gets
stuck seemingly indefinitely.

Can someone please look into this?  TIA.