From: Junio C Hamano <redacted>
Date: Tue, 17 Mar 2020 22:02:22 +0000 (-0700)
Subject: Merge branch 'jk/push-option-doc-markup-fix' into maint
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=3246495a5cb9a4e81be16053555b9ee984522a79;p=git.git

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
---

3246495a5cb9a4e81be16053555b9ee984522a79