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

2018-07-15 Thread 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 pul

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

2018-07-15 Thread Eli Zaretskii
> 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 access

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

2018-07-15 Thread Bob Proulx
I don't know much but I thought I would post that most services seem to be back online now. With the exception of the download server which is still offline. (Also our mgt0 management server which is internal admin use only.) Bob

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

2018-07-15 Thread Bob Proulx
Bob Proulx wrote: > I don't know much but I thought I would post that most services seem > to be back online now. With the exception of the download server > which is still offline. (Also our mgt0 management server which is > internal admin use only.) Both of those are back online now too. All

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

2018-07-15 Thread Eli Zaretskii
> Date: Sun, 15 Jul 2018 11:53:39 -0600 > From: Bob Proulx > > Bob Proulx wrote: > > I don't know much but I thought I would post that most services seem > > to be back online now. With the exception of the download server > > which is still offline. (Also our mgt0 management server which is >

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

2018-07-15 Thread arnold
Bob Proulx wrote: > Bob Proulx wrote: > > I don't know much but I thought I would post that most services seem > > to be back online now. With the exception of the download server > > which is still offline. (Also our mgt0 management server which is > > internal admin use only.) > > Both of tho