diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-03-02 15:07:18 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-03-02 15:07:18 -0800 |
| commit | 80648bb3f2353bc90bec12e9dcbb0ba3e2032a72 (patch) | |
| tree | 5ab3c4fc7bc3593437e3014d94297b4f3c4c6444 | |
| parent | 29b09c518c93e916bc91758d4cebe86b56f43040 (diff) | |
| parent | 0aa6ce3094a7d79191a921d1b37a35af865dd103 (diff) | |
| download | git-80648bb3f2353bc90bec12e9dcbb0ba3e2032a72.tar.xz | |
Merge branch 'jk/push-option-doc-markup-fix'
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 54871f8213..0a7aa322a9 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 |