[gambit-list] Make update from github?

Alex Queiroz asandroq at gmail.com
Sun Mar 25 14:31:33 EDT 2012


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/*

Cheers,
-- 
-alex
http://www.artisancoder.com/



More information about the Gambit-list mailing list