tree 5ab3c4fc7bc3593437e3014d94297b4f3c4c6444
parent 29b09c518c93e916bc91758d4cebe86b56f43040
parent 0aa6ce3094a7d79191a921d1b37a35af865dd103
author Junio C Hamano <gitster@pobox.com> 1583190438 -0800
committer Junio C Hamano <gitster@pobox.com> 1583190438 -0800

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