[m-rev.] Converting to Git.

[Julien Fischer]

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.)

Also, the conversion process seems to have resurrected the old bcheck
script in the top-level of the source tree.

> 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.

Cheers,
Julien.