summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2020-02-20 22:47:33 (GMT)
committerJunio C Hamano <gitster@pobox.com>2020-02-20 22:47:33 (GMT)
commit6332054fec764d0f72efde7d78e424108e309220 (patch)
tree0880e1041d91332e0344dc84690143e31a0a1fa6
parentc5d37d9c65533303a183d37261422d8c5d229f43 (diff)
parent0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff)
downloadgit-6332054fec764d0f72efde7d78e424108e309220.zip
git-6332054fec764d0f72efde7d78e424108e309220.tar.gz
git-6332054fec764d0f72efde7d78e424108e309220.tar.bz2
Merge branch 'jk/push-option-doc-markup-fix' into jch
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