Using Git with a Subversion repository