How to remove a file from a git commit to push to svn...