> I would have suggested checking out all the CVS tags into
> and using git fast-import had I known about that feature at the time.
> But that might have taken a while to get right.
We can still try to do that, and then merge/filter what has been done in
dist-git so far on top of it.
I agree. If we want to fix up the import to improve the history, I think
right now is the time to do it. There are still a pretty small number of
most-migration changes to apply on top of a new migration. If we let it go
much longer, it's going to become unreasonable to ditch the old (current)
incarnation of git history.