[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