I'm thinking of moving the Gambit repo to github.
What are the pros and cons of doing so?
Marc
_______________________________________________
Gambit-list mailing list
Gambit-list@iro.umontreal.ca
https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list