Re: [lmi] Anonymous git checkout failure

[Vadim Zeitlin]

On Wed, 23 Nov 2016 12:35:41 +0000 Greg Chicares <address@hidden> wrote:

GC> We have a national holiday tomorrow, so there isn't much time left
GC> for the month-end release. Vadim, would you be able to update your
GC> github lmi repository, so that Kim can do this:
GC>   git clone https://github.com/vadz/lmi.git
GC> to get the release candidate, which is HEAD right now with sha1sum
GC>   0b87ddd591c2eb47c5575336415059fc7aafaf8c
GC> ?

 Done now, please see https://github.com/vadz/lmi/

 I'll try to look at the logs in the other messages in more details and
will reply if I have anything useful to say, but right now I have no idea
about what's going on here. I do realize the administrative difficulties
involved in brining this up with the corporate network/IT administration
but it's really looking that the only choice is between doing this or some
horrible hack, e.g. tunnel HTTPS via ssh or something like this.

 The only constructive proposal I can make right now is to set up a cron
job that would mirror Savannah repository on GitHub automatically, would
this be useful?

VZ