Re: [lmi] Anonymous git checkout failure

[Greg Chicares]

On 2016-11-23 20:44, Greg Chicares wrote:
> On 2016-11-23 16:51, Vadim Zeitlin wrote:
>> 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/
> 
> Thanks!
[...]
>>  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?
> 
> Thanks for offering, but that's not a robust solution. Last month, git
> worked fine with gnu.org, while this month it fails; next month, the
> proxy very well might obstruct github

On second thought, I'd like to accept your proposal, please. The One True
Long-Term Solution is to fix the corporate proxy, but we can't trust that
that will be done in time for our year-end release.