Converting a 5-Year-Old Repository from Subversion to Git