summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2020-03-02 15:07:18 -0800
committerJunio C Hamano <gitster@pobox.com>2020-03-02 15:07:18 -0800
commit80648bb3f2353bc90bec12e9dcbb0ba3e2032a72 (patch)
tree5ab3c4fc7bc3593437e3014d94297b4f3c4c6444 /Documentation
parent29b09c518c93e916bc91758d4cebe86b56f43040 (diff)
parent0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff)
downloadgit-80648bb3f2353bc90bec12e9dcbb0ba3e2032a72.tar.gz
Merge branch 'jk/push-option-doc-markup-fix'
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 54871f8213..0a7aa322a9 100644
--- a/Documentation/config/push.txt
+++ b/Documentation/config/push.txt
@@ -80,7 +80,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:
@@ -97,7 +97,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