github? [Re: [Agda] Agda development]

[Jason Gross]

In case people are interested, after a number of hours and some trouble
with conversion tools, I have made a clone of agda and the stdlib on github
(currently up to date, I believe) at https://github.com/JasonGross/Agda and
https://github.com/JasonGross/agda-stdlib.  I used
https://github.com/purcell/darcs-to-git, which took a number of hours to
run and had a few minor hiccups.  (I couldn't get cabal to install
darcs-fastconvert.)  I don't plan on keeping these up to date (I did this
for an unrelated reason), so if you're interested in using them to help
make moving to github easier, the best time to do so is probably before
there are any new commits on darcs.

-Jason


On Thu, Jan 9, 2014 at 8:37 AM, Andrés Sicard-Ramírez <
andres.sicard.ramirez at gmail.com> wrote:

>
> On 9 January 2014 03:04, Ulf Norell <ulf.norell at gmail.com> wrote:
>
>> We decided to switch over to git and host Agda on github.
>
>
> Great news!
>
>
> --
> Andrés
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140112/f3f699fc/attachment.html