I can only think of pros. Github is really useful both for developing and for checking out projects and reading code. Being there could help Gambit get more popular IMO. Actually, I've always thought that moving the dumping grounds to Github would be a great thing to do too. At the very least, it seems that the projects are more "alive".
On Mon, Mar 12, 2012 at 10:04 PM, Marc Feeley feeley@iro.umontreal.ca wrote:
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