[gambit-list] gambit github organization

Marc Feeley feeley at iro.umontreal.ca
Wed May 18 07:36:15 EDT 2016


Hello. I have created the “gambit” organization on github and I plan to transfer the official “gambit” repo there so that it can be cloned from https://github.com/gambit/gambit.git .  Does anyone see a problem with this beyond having to update some URLs in the documentation and Gambit wiki?

Marc




More information about the Gambit-list mailing list