add shortcut to push commit to svn through git-svn