[Agda] Agda github organization?

Alan Jeffrey ajeffrey at bell-labs.com
Fri Sep 17 19:12:52 CEST 2010


Looking around for a code hosting service, it looks like many of the 
cool kids are using github, including some agda developers.

Would it make sense to create an agda organization on github?  It would 
allow repositories such as:

   http://github.com/agda/agda-foo

rather than:

   http://github.com/janedoe/agda-foo

As an example, the jQuery organization is http://github.com/jquery, from 
which you can find the jQuery repositories.

I'd be happy to set it up, and add people to the organization -- indeed 
I'd need some fellow admins in case I fall under a bus!

A.


More information about the Agda mailing list