1. Pushing a Git repository to Subversion