<div dir="ltr">The people in charge are me, Andreas and Nils Anders. I wouldn&#39;t say that the reason we haven&#39;t moved is because we don&#39;t want to learn git--I&#39;m quite comfortable using git--but rather that there&#39;s some work involved migrating everything to github and it hasn&#39;t been clear that it&#39;s worth the effort. I don&#39;t think there would be any huge advantages for us as main developers moving to github.<div>

<br></div><div>I&#39;m not sure I believe that darcs is a major obstacle to getting contributions. We have quite a few outside contributors (Nils Anders would know the rough number). I&#39;m more swayed by the argument from people that want to maintain branches of Agda and struggle doing that with darcs.</div>

<div><br></div><div>We&#39;ll have a sit down this week to discuss whether it&#39;s time to take the plunge.</div><div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Dec 2, 2013 at 9:55 AM, 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"><div class="im">&gt; Of course, if the main developer can learn another vc, so<br>
&gt; could the contributors...<br>
</div>True. But as I pointed out git becomes a standard, while darcs disappears. I feel that most<br>
potential contributors will just not care to learn darcs.<br>
<div class="im"><br>
&gt; Also, people say that keeping forks and merging conflicts is easier with git than darcs.<br>
</div>I haven&#39;t worked with darcs (other than some basics to pull out a repo), but indeed working with<br>
branches and merging is painless in git (once you learn what you&#39;re doing!). That said, pull<br>
requests and merging offered by github, while easy to use and convenient, should be IMO avoided.<br>
They create a lot of unnecessary empty merge commits that obscure repo&#39;s history.<br>
<div class="im"><br>
&gt; But keep in mind that the biggest hurdle to contribution will not vanish<br>
&gt; by a move to git:  The complexity of the Agda implementation itself...<br>
</div>According to github GHC has 115 contributors. Idris, after just two years, has 51 contributors -<br>
half of them with less than 5 commits, which shows that people who aren&#39;t regular developers<br>
still can commit small fixes. I don&#39;t think Agda is much more complex than any of these two<br>
compilers (am I wrong here?) and could also get a lot of people contributing.<br>
<br>
That said, who is in charge here? :-) I mean who can make the decission to move from Darcs to<br>
github?<br>
<br>
Janek<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>