diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-03-17 15:02:22 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-03-17 15:02:22 -0700 |
commit | 3246495a5cb9a4e81be16053555b9ee984522a79 (patch) | |
tree | 2587cef169a6a5fefcec00f00cc77c2675c671cf /Documentation | |
parent | Merge branch 'jk/doc-diff-parallel' into maint (diff) | |
parent | doc/config/push: use longer "--" line for preformatted example (diff) | |
download | tgif-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.txt | 4 |
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 |