diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-03-18 01:02:22 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-03-18 01:02:22 +0300 |
commit | 3246495a5cb9a4e81be16053555b9ee984522a79 (patch) | |
tree | 2587cef169a6a5fefcec00f00cc77c2675c671cf /Documentation | |
parent | 56f97d5896a964e88d46b227302e682a75837314 (diff) | |
parent | 0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff) |
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 |