On Wed, 1 Apr 2015, Ramana Kumar wrote:
In case there's any confusion about it, switching to git does _not_ entail
switching to GitHub, which merely provides hosting for git repositories
with a lot of "social" features and a nice web interface. Git repositories
can be hosted at many places (e.g., savannah.nongnu.org, gitbull.org,
bitbucket.org, etc.) and can be self-hosted (like git.kernel.org), or any
combination of these simultaneously.
Pointing to alternatives of Github, such as Bitbucket, it is also possible
to see beyond git as well, and consider Mercurial.
There is mainly a cultural difference: git users like flashy tools and big
noisy communities, Mercurial users like to use a tool quietely without
much ado about it. So strictly speaking, as a Mercurial user I could not
even advertize that here, but on 01-Apr one could probably make an
exception.
Makarius
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
