diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-03-17 22:02:22 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-03-17 22:02:22 (GMT) |
| commit | 3246495a5cb9a4e81be16053555b9ee984522a79 (patch) | |
| tree | 2587cef169a6a5fefcec00f00cc77c2675c671cf | |
| parent | 56f97d5896a964e88d46b227302e682a75837314 (diff) | |
| parent | 0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff) | |
| download | git-3246495a5cb9a4e81be16053555b9ee984522a79.zip git-3246495a5cb9a4e81be16053555b9ee984522a79.tar.gz git-3246495a5cb9a4e81be16053555b9ee984522a79.tar.bz2 | |
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
| -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 0a0e000..dffd4d5 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 |