[m-rev.] Converting to Git.

Paul Bone paul at bone.id.au
Mon Dec 31 15:08:43 AEDT 2012

On Sat, Dec 29, 2012 at 06:24:55PM +1100, Paul Bone wrote:
> 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

The correct URL is https://github.com/Mercury-Language

Pete, does this one work for you?

Paul Bone

More information about the reviews mailing list