t / t5100 / msg0009on commit t5531: do not assume the "matching" push is the default (43eb920)
   1This is to fix diff-format documentation.
   2