[m-rev.] Converting to Git.

[Peter Ross]

On 31 December 2012 15:08, Paul Bone <paul at bone.id.au> wrote:
> 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?
>
Yes that one works perfectly.  Thanks.