Minor improvement of the example in git-push-as-remote: use this repo
tree55f6b836eeee4d35006ad18a19944886d4650e3d
-rwxr-xr-x 720 git-heads-for-merge
-rwxr-xr-x 1060 git-merge-without-working
-rwxr-xr-x 1296 git-mread-and-commit
-rwxr-xr-x 1244 git-pass
-rwxr-xr-x 2646 git-push-as-remote
-rwxr-xr-x 401 git-roots-of-hist
-rwxr-xr-x 37 git-the-empty-tree