[gambit-list] Make update from github?

Marc Feeley feeley at iro.umontreal.ca
Wed Mar 28 23:21:10 EDT 2012


On 2012-03-28, at 11:16 PM, Bradley Lucier wrote:

> 
> On Mar 25, 2012, at 2:31 PM, Alex Queiroz wrote:
> 
>> 
>> Hallo,
>> 
>> On Sun, Mar 25, 2012 at 7:53 AM, Bradley Lucier <lucier at math.purdue.edu> wrote:
>>> Marc:
>>> 
>>> What should we do after building 4.6.5 to get "make update" to work?  I get
>>> 
>> 
>> The configuration for git in the tarball is suited for those who has
>> read+write access to the repository. For us, we need to edit
>> `.git/config` so that it reads:
>> 
>> [remote "origin"]
>>       url = https://github.com/feeley/gambit.git
>>       fetch = +refs/heads/*:refs/remotes/origin/*
> 
> Thanks, after I make that change I get
> 
> [Bradley-Luciers-MacBook-Pro:~/programs/gambc-v4_6_5-devel] lucier% make update fatal:https://github.com:feeley/gambit.git/info/refs not found: did you run git update-server-info on the server?
> fatal: https://github.com:feeley/gambit.git/info/refs not found: did you run git update-server-info on the server?
> make: *** [pull] Error 128

The URL should be

https://github.com/feeley/gambit.git/info/refs

but the URL in your error messages has a ":" just before "feeley" instead of a slash.  I don't know why.

Marc




More information about the Gambit-list mailing list