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 <[email protected]> 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 >> [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 >
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
