[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