On 01/04/2015 10:46, Makarius wrote:
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.
Thanks, everyone, for your comments. I was thinking of Git and Github
since I've got a little bit of experience with them but I'm still trying
to get to grips with Git.
For the moment it may be best to keep the SourceForge SVN going as the
primary repository.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
