On Mar 6, 10:43pm, Simon Ruderich wrote: } } Has the switch already happened? There are a few commits in the } new Git repository [1] which aren't in the old one [2], so I'm } not sure. The switch has not happened as far as I'm aware. Are there commits in either git that are not in CVS?