[m-rev.] Converting to Git.

[Julien Fischer]

On Wed, Jan 2, 2013 at 11:24 AM, Paul Bone <paul at bone.id.au> wrote:
> On Wed, Jan 02, 2013 at 10:25:18AM +1100, Julien Fischer wrote:
>>
>> I think so too, although it seems to have resurrected a number of files that
>> had been deleted in CVS, e.g.
>>
>>     compiler/callgraph.m
>>     compiler/implication.m
>>     compiler/ml_dense_switch.m
>>     compiler/vn_livemap.m
>>
>> all shouldn't be there.
>>
>
> We can remove them in the current version, In fact I'll do this now.
>
> We may have to do this on other branches that we care about as we find them,
> and for other files as we find them.
>
> I suspect that this is caused by how CVS tags tag files rather than a
> repository version, and how cvs2git interprets those tags (for both tags and
> branches).

The Mercury repository was a bit dodgy in places; I suspect cvs2git
was based on cvs2svn
and the latter certainly had problems with it.

Julien.