[Agda] Re: Agda github organization?
Alan Jeffrey
ajeffrey at bell-labs.com
Tue Sep 21 19:02:00 CEST 2010
I created a github agda organization at:
http://github.com/agda
If anyone would like to join, send me an email!
A.
On 09/17/2010 12:12 PM, Jeffrey, Alan S A (Alan) wrote:
> 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