summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2020-03-02 23:07:18 (GMT)
committerJunio C Hamano <gitster@pobox.com>2020-03-02 23:07:18 (GMT)
commit80648bb3f2353bc90bec12e9dcbb0ba3e2032a72 (patch)
tree5ab3c4fc7bc3593437e3014d94297b4f3c4c6444
parent29b09c518c93e916bc91758d4cebe86b56f43040 (diff)
parent0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff)
downloadgit-80648bb3f2353bc90bec12e9dcbb0ba3e2032a72.zip
git-80648bb3f2353bc90bec12e9dcbb0ba3e2032a72.tar.gz
git-80648bb3f2353bc90bec12e9dcbb0ba3e2032a72.tar.bz2
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
-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 54871f8..0a7aa32 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