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-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=3246495a5cb9a4e81be16053555b9ee984522a79;p=rit

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