<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&#39;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&#39;s not critical though--we will still be able to</div><div>apply darcs patches after the move but it&#39;s a little bit of a hassle.</div><div><br></div><div>I&#39;ll make the move some time around the weekend.</div>

<div><br></div><div>/ Ulf</div></div>