Also allow explicit push to "origin"
-rw-r--r-- 1265 .gitattributes
-rw-r--r-- 204 .gitignore
-rw-r--r-- 2382 .jprojects.sh
-rw-r--r-- 157 README
-rwxr-xr-x 1263 build-dist-all.sh
-rwxr-xr-x 1398 build-dist-cores.sh
-rwxr-xr-x 1414 build-dist-libs.sh
-rwxr-xr-x 493 bundle-jprojects.sh
-rwxr-xr-x 520 check-untracked.sh
-rwxr-xr-x 587 checkout-jprojects.sh
-rwxr-xr-x 1409 cherry-jprojects.sh
-rwxr-xr-x 448 clone-jprojects.sh
-rwxr-xr-x 1471 commit-jlibs.sh
-rwxr-xr-x 1322 commit-jprojects.sh
-rwxr-xr-x 1352 cp-dist.sh
-rwxr-xr-x 392 cp-libs.sh
-rwxr-xr-x 1262 create-jproject-branch.sh
-rwxr-xr-x 2765 dist.sh
drwxr-xr-x - docs
-rwxr-xr-x 229 filter-jprojects.sh
-rwxr-xr-x 14316 fix-project-remotes.sh
-rwxr-xr-x 427 git-author-jprojects.sh
-rwxr-xr-x 1934 make-javadoc.sh
-rwxr-xr-x 1015 merge-jprojects.sh
-rwxr-xr-x 420 mount-intenso.sh
-rwxr-xr-x 422 mount-transport.sh
-rwxr-xr-x 946 pull-stick.sh
-rwxr-xr-x 1299 push-stick.sh
-rwxr-xr-x 263 revert-jprojects.sh
-rwxr-xr-x 586 rm-jprojects.sh
-rwxr-xr-x 1023 update-year-jprojects.sh