Overwrite remote branch even if its not an ancestor. If it overwrites another push...
tree9db3dfef8a502d8334d4d51e005207d1606a99b4
-rwxr-xr-x 381 changebranch
-rwxr-xr-x 88 commitbranch
-rwxr-xr-x 67 currentbranchname
-rwxr-xr-x 568 cvs2git-modmerge.sh
-rwxr-xr-x 146 endbranch
-rwxr-xr-x 315 newbranch
-rw-r--r-- 719 rebasebranch
-rwxr-xr-x 316 updatebranch