github? [Re: [Agda] Agda development]

[Ulf Norell]

We decided to switch over to git and host Agda on github. This will happen
some time after the 2.3.4 release (which will happen after ghc-7.8 is out).
We were a bit underwhelmed by the issue tracker on github though, so the
issues will stay put for the time being.

/ Ulf


On Fri, Jan 3, 2014 at 4:29 PM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:

> Hi Ulf and others,
>
> > We'll have a sit down this week to discuss whether it's time to take the
> > plunge.
> This was month ago. Have any decissions been made regarding possible
> moving to git?
>
> Janek
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140109/5b9d2a33/attachment.html