From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 17 Mar 2020 22:02:22 +0000 (-0700)
Subject: Merge branch 'jk/push-option-doc-markup-fix' into maint
X-Git-Tag: v2.25.2~16
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=3246495a5cb9a4e81be16053555b9ee984522a79;p=thirdparty%2Fgit.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