[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