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.
On Wed, Apr 1, 2015 at 7:09 AM, Lucas Dixon <[email protected]> wrote: > I would recommend git/github over svn. Much easier to manage > contributions: branches give food flexibility, and git has better merging > than svn also. > On Mar 31, 2015 3:28 PM, "Michael Norrish" <[email protected]> > wrote: > >> Thanks for the update. >> >> Like the others, I think git is probably a better system than Subversion. >> But I don’t expect your choice will have much impact on me (this error is >> the first I’ve seen when building straight from svn), so I’m sure I will be >> happy with whatever you choose. :-) >> >> Michael >> >> >> > On 31 Mar 2015, at 22:53, David Matthews < >> [email protected]> wrote: >> > >> > This was a problem with the SVN version of Poly/ML. I've fixed it now >> so it should build. >> > >> > This has raised, though, a question I've been wondering about: whether >> to switch from sourceforge SVN to git and github. It's very convenient to >> be able to commit works-in-progress at various stages even if they're not >> complete. It makes it much easier to track down bugs by bisection if each >> commit is not too large. The disadvantage with SVN is that it's not clear >> to anyone using the repository whether it is meant to be in a stable state >> and meant for beta testing or whether it is unstable and perhaps not even >> alpha tested. It's much easier with a multi-stage source management system >> such as git or mercurial to have a "private" repository and only push to >> the "main" repository when the set of commits are complete. >> > >> > Does anyone have any thoughts on this? >> > >> > David >> > >> > On 31/03/2015 09:56, Michael Norrish wrote: >> >> My Travis CI builds of HOL using a Subversion checkout of Poly (as >> >> opposed to the released version, which I also check), are failing to >> >> build Poly with the error below. (See also >> >> https://travis-ci.org/HOL-Theorem-Prover/HOL/jobs/56529081). >> >> >> >> Is this expected, or some quirk of the Travis setup? >> >> >> >> Michael >> >> >> >> -- >> >> >> >> >> >> Error- in './basis/FinalPolyML.sml', line 1607. Value or constructor >> >> (decodeBinary) has not been declared Error- in >> >> './basis/FinalPolyML.sml', line 1608. Value or constructor >> >> (encodeBinary) has not been declared Exception trace for exception - >> >> Fail raised in mlsource/MLCompiler/MAKE_.ML line 423 >> >> MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) >> >> COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace Exception >> >> trace for exception - Fail raised in mlsource/MLCompiler/MAKE_.ML >> >> line 423 MAKE_().useIntoEnv(2) <top level> CODETREE().genCode(3)(1) >> >> COMPILER_BODY().baseCompiler(3)executeCode(1) End of trace >> > _______________________________________________ >> > polyml mailing list >> > [email protected] >> > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >> >> >> ________________________________ >> >> The information in this e-mail may be confidential and subject to legal >> professional privilege and/or copyright. National ICT Australia Limited >> accepts no liability for any damage caused by this email or its attachments. >> _______________________________________________ >> 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
