Migrate a subversion repository to git