A script to keep git repo in sync with svn upstream