git-repub: allow combined repub and push
drwxr-xr-x - Documentation
-rw-r--r-- 526 README
-rwxr-xr-x 5953 git-repub.sh