github? [Re: [Agda] Agda development]

[James Chapman]

I’m pleased to hear that the electoral college of core agda developers
has come to the right decision!

Happy new year!

James

On Thu, Jan 9, 2014 at 10:04 AM, Ulf Norell <ulf.norell at gmail.com> wrote:
> 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
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>