t / t5100 / msg0001on commit Documentation/git-push: --all, --mirror, --tags can not be combined (bed5122)
   1Here is a patch from A U Thor.
   2