Problem with cervisia git repository

[Nicolás Alvarez]

Hi all,

I have been reviewing the converted git repositories, and I found a problem 
in the cervisia repository: the subversion_support work branch only had 
about half of its history converted. The older half. The latest changes in 
it are not in the git repository.

However, that branch has been abandoned since 2006 and was never merged into 
trunk, so perhaps it's not even relevant.

What should I do now?

Option 1: Fix the conversion rules for this branch, reconvert cervisia, push 
it again. This shouldn't cause problems for existing clones because only the 
subversion_support branch would be modified, not the master and version 
branches.

Option 2: Delete the incomplete branch currently in git. The code in the 
subversion_support branch, for historical purposes or if someone is crazy 
enough to resurrect it, would be only available in SVN.

-- 
Nicolas