[Agda] Agda moving to GitHub

[Ulf Norell]

We have been talking about moving the Agda repo from darcs to git
for a while. With 2.4.0 is out the door it's time to take the plunge. If
you have any outstanding patches it might be a good idea to get them
into the main repo now. It's not critical though--we will still be able to
apply darcs patches after the move but it's a little bit of a hassle.

I'll make the move some time around the weekend.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140611/46140350/attachment.html