[m-rev.] Converting to Git.
paul at bone.id.au
Mon Dec 31 14:57:21 AEDT 2012
On Mon, Dec 31, 2012 at 02:07:20PM +1100, Julien Fischer wrote:
> Hi Paul,
> On Sat, Dec 29, 2012 at 6:24 PM, Paul Bone <paul at bone.id.au> wrote:
> > Mercury is now converted to git and uploaded to github.
> I notice you've shifted tests directory into the main repository
> (which is fine),
> however we still need the benchmarks directory from the old CVS repository
> as well. (IMO, it may as well go in the main repository as well.)
I can re-do the conversion so that we get the history of benchmarks inline
with the main repository (the way I've done for tests). Or I can just add
it at this point, throwing away the benchmark's repos history.
The former is more work, especially if people have already started using
> Also, the conversion process seems to have resurrected the old bcheck
> script in the top-level of the source tree.
That can probably be removed from current and future versions without fuss.
> > https://github.com/organizations/Mercury-Language
> > Peter, Julien and I are project members/owners for this on Github. So any
> > of us should be able to add other owners/committers.
> > What remains to be done is to update the review process so that git is taken
> > into account.
> We also need to update the test_mercury script so that we can build the
> source distribution from the git repository rather than the CVS one.
There appear to be a number of scripts that should be updated/deprecated. I
want to be able to use test_mercury or build a tarball on any system, not
specific systems inside CSSE. So new/revised scripts should have a lot less
More information about the reviews