<div dir="ltr">The people in charge are me, Andreas and Nils Anders. I wouldn't say that the reason we haven't moved is because we don't want to learn git--I'm quite comfortable using git--but rather that there's some work involved migrating everything to github and it hasn't been clear that it's worth the effort. I don't think there would be any huge advantages for us as main developers moving to github.<div>
<br></div><div>I'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'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'll have a sit down this week to discuss whether it'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"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">> Of course, if the main developer can learn another vc, so<br>
> 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>
> Also, people say that keeping forks and merging conflicts is easier with git than darcs.<br>
</div>I haven'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'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's history.<br>
<div class="im"><br>
> But keep in mind that the biggest hurdle to contribution will not vanish<br>
> 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't regular developers<br>
still can commit small fixes. I don'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>