Convert a subversion repository to git and push to a remote repo, with full history included.