Re: [E-devel] Push to devs.git

2017-06-01 Thread Andrew Williams
Hi, Thanks. I had assumed it was different due to the stack trace but maybe not. Either way it finally pushed through correctly and the access control has let me in :) Thanks, Andy On Thu, 1 Jun 2017 at 22:35 Michael Blumenkrantz < michael.blumenkra...@gmail.com> wrote: > See the thread

Re: [E-devel] Push to devs.git

2017-06-01 Thread Michael Blumenkrantz
See the thread related to the infrastructure being down with no ETA. On Thu, 01 Jun 2017 21:20:39 + Andrew Williams wrote: > Hi all, > > I'm trying to add a new key to our git server for travelling over the next > week. The server is pretty unreliable right now but I

[E-devel] Push to devs.git

2017-06-01 Thread Andrew Williams
Hi all, I'm trying to add a new key to our git server for travelling over the next week. The server is pretty unreliable right now but I don't the following response is due to load - I've seen it a few times. > git push ~/code/E/devs git:master@a655d3a Counting objects: 5, done. Delta