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

[Eli Zaretskii]

> From: address@hidden
> Date: Sun, 15 Jul 2018 04:35:10 -0600
> 
> 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

Same here several hours later.  I get the same error for any access to
Savannah Git repositories:

  ssh: connect to host git.sv.gnu.org port 22: No route to host
  fatal: Could not read from remote repository.

  Please make sure you have the correct access rights
  and the repository exists.

I tried from fencepost.gnu.org, with the same result.