<div dir="ltr">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.<div>

<br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jan 3, 2014 at 4:29 PM, Jan Stolarek <span dir="ltr">&lt;<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Ulf and others,<br>
<div class="im"><br>
&gt; We&#39;ll have a sit down this week to discuss whether it&#39;s time to take the<br>
&gt; plunge.<br>
</div>This was month ago. Have any decissions been made regarding possible moving to git?<br>
<br>
Janek<br>
</blockquote></div><br></div>