<div dir="ltr">We have been talking about moving the Agda repo from darcs to git<div>for a while. With 2.4.0 is out the door it's time to take the plunge. If</div><div>you have any outstanding patches it might be a good idea to get them</div>
<div>into the main repo now. It's not critical though--we will still be able to</div><div>apply darcs patches after the move but it's a little bit of a hassle.</div><div><br></div><div>I'll make the move some time around the weekend.</div>
<div><br></div><div>/ Ulf</div></div>