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