summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2020-02-19 22:30:56 (GMT)
committerJunio C Hamano <gitster@pobox.com>2020-02-19 22:30:56 (GMT)
commit975e00fa99917104997a26f4f9f0ba2dc0447c0f (patch)
tree0880e1041d91332e0344dc84690143e31a0a1fa6
parent62b2264fca8d08f2263b5325c9af9527e3e06c0b (diff)
parent0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff)
downloadgit-next.zip
git-next.tar.gz
git-next.tar.bz2
Merge branch 'jk/push-option-doc-markup-fix' into nextnext
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