lmi
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lmi] Anonymous git checkout failure


From: Greg Chicares
Subject: Re: [lmi] Anonymous git checkout failure
Date: Wed, 23 Nov 2016 20:44:35 +0000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.3.0

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!

>  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.

We could 'git-am' each email on the lmi-commits mailing list: a little
less horrible, perhaps, but still rather laborious.

>  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--that's been known to happen:

http://stackoverflow.com/questions/16153450/github-windows-client-behind-proxy

https://help.github.com/desktop/faq/articles/can-i-log-in-behind-a-proxy-server/
| Running GitHub Desktop behind a proxy server is not supported.
| You may be able to configure Git to use your proxy credentials,
| though this is not always successful.

They go on to recommend
  git config --global http.proxy ...
as you have already. That sounds like our best bet. I don't imagine
Kim will be able to provide the proxy information until she returns
from Thanksgiving next week.




reply via email to

[Prev in Thread] Current Thread [Next in Thread]