[m-rev.] Converting to Git.

Paul Bone 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

Paul Bone

More information about the reviews mailing list