github? [Re: [Agda] Agda development]
dan.doel at gmail.com
Mon Dec 2 16:14:07 CET 2013
On Dec 2, 2013 4:33 AM, "Jan Stolarek" <jan.stolarek at p.lodz.pl> wrote:
> > I don't think there would be any huge advantages for us as main
developers moving to github.
> Just to be clear. I don't want to argue that github is the best place to
host a project - I want
> to argue that git is :-)
For instance, I believe Google code supports mercurial. That wouldn't
require migrating the issue tracker, and would provide (most of) the
features people seem to be missing here. And in my experience, mercurial is
simply a better vcs than git. Git is just more popular.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda