summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorLibravatar Junio C Hamano <gitster@pobox.com>2020-03-17 15:02:22 -0700
committerLibravatar Junio C Hamano <gitster@pobox.com>2020-03-17 15:02:22 -0700
commit3246495a5cb9a4e81be16053555b9ee984522a79 (patch)
tree2587cef169a6a5fefcec00f00cc77c2675c671cf /Documentation
parentMerge branch 'jk/doc-diff-parallel' into maint (diff)
parentdoc/config/push: use longer "--" line for preformatted example (diff)
downloadtgif-3246495a5cb9a4e81be16053555b9ee984522a79.tar.xz
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
Diffstat (limited to 'Documentation')
-rw-r--r--Documentation/config/push.txt4
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/config/push.txt b/Documentation/config/push.txt
index 0a0e000569..dffd4d5f7b 100644
--- a/Documentation/config/push.txt
+++ b/Documentation/config/push.txt
@@ -79,7 +79,7 @@ higher priority configuration file (e.g. `.git/config` in a
repository) to clear the values inherited from a lower priority
configuration files (e.g. `$HOME/.gitconfig`).
+
---
+----
Example:
@@ -96,7 +96,7 @@ repo/.git/config
This will result in only b (a and c are cleared).
---
+----
push.recurseSubmodules::
Make sure all submodule commits used by the revisions to be pushed