> From: arn...@skeeve.com > 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.