t / t5100 / msg0009on commit http-push: avoid a needless goto (7fea9c5)
   1This is to fix diff-format documentation.
   2