tree 2587cef169a6a5fefcec00f00cc77c2675c671cf
parent 56f97d5896a964e88d46b227302e682a75837314
parent 0aa6ce3094a7d79191a921d1b37a35af865dd103
author Junio C Hamano <gitster@pobox.com> 1584482542 -0700
committer Junio C Hamano <gitster@pobox.com> 1584482542 -0700

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