git-svn: fix svn.pushmergeinfo handling of svn+ssh usernames.