The original idea was to experiment with github but port the changes to svn on SourceForge. In practice the git repository has got a bit ahead and there are quite a few changes that I need to apply to bring svn into line. I had in mind keeping svn going as far as the next release but I'm wondering about that now. Having two "official" repositories is complicated.
What are people's opinions about phasing out SVN in favour of Git?
David
On 07/08/2015 07:43, Ramana Kumar wrote:
So what's your opinion of the git repository now? Should it be official?
Either way, you might like to mention it on the Poly/ML website :)
On 16 April 2015 at 21:49, David Matthews <David.Matthews at prolingua.co.uk> wrote:
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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml