Merge branch 'jk/push-option-doc-markup-fix'

Doc markup fix. * jk/push-option-doc-markup-fix: doc/config/push: use longer "--" line for preformatted example

Junio C Hamano committed Mar 2, 2020 at 15:07 UTC 80648bb3f2353bc90bec12e9dcbb0ba3e2032a72

No changes.