[m-rev.] Converting to Git.

[Paul Bone]

On Fri, Dec 28, 2012 at 12:06:02PM +1100, Paul Bone wrote:
> 
> It's finally time to convert the CVS repo to git.  I'll leave the CVS repo
> online so that cvs diff can be used to generate patches.  I will now begin
> the conversion which means I want to make the CVS repo read-only.
> 
> Most people seem to either like git or be okay with the idea of git.  Hence
> I think it is probably the consensus that we would reach if I actually asked
> people what they wanted.
> 

Mercury is now converted to git and uploaded to github.

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.  And to decide which copy of Mercury is the `official' copy.
Is it the copy on github? or on some filesystem?.

It's probably best to commit to git rather than CVS.  But we probably want
to wait until after make the other decisions above.


-- 
Paul Bone
http://www.bone.id.au