Merge branch 'jk/push-option-doc-markup-fix' into maint
authorJunio C Hamano <gitster@pobox.com>
Tue, 17 Mar 2020 22:02:22 +0000 (15:02 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 17 Mar 2020 22:02:22 +0000 (15:02 -0700)
commit3246495a5cb9a4e81be16053555b9ee984522a79
tree2587cef169a6a5fefcec00f00cc77c2675c671cf
parent56f97d5896a964e88d46b227302e682a75837314
parent0aa6ce3094a7d79191a921d1b37a35af865dd103
Merge branch 'jk/push-option-doc-markup-fix' into maint

Doc markup fix.

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