I've set up a git repository at GitHub. It's at
https://github.com/polyml . So far it's in sync with the SourceForge
subversion repository. I've reorganised the structure slightly so that
"polyml" is just the Poly/ML sources with the documentation as a
sub-directory and the jEdit plugin is a separate repository.
At least for the moment, I'll keep SourceForge SVN as the "official"
repository.
David
On 03/04/2015 16:56, David Matthews wrote:
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
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
