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