[Savannah-hackers-public] Git not responding on Savannah

[arnold]

Hi. It's a little after 6:30 am US east coast time. I'm trying to do
git pull from the gawk repo and it's failing.

Using http:
 error: Failed connect to git.savannah.gnu.org:80; Operation now in progress 
while accessing http://git.savannah.gnu.org/r/gawk.git/info/refs

Using an ssh URL:
$ git pull
ssh: connect to host git.sv.gnu.org port 22: Connection timed out
fatal: The remote end hung up unexpectedly

Thanks,

Arnold