t / t5100 / msg0001on commit git-push: remove obsolete git-push.sh (ec19a22)
   1Here is a patch from A U Thor.
   2