a script to push a particular commit to svn via the master branch