t / t5100 / msg0009on commit remote-hg: add test for failed double push (0bf9ee5)
   1This is to fix diff-format documentation.
   2