diff --git a/Documentation/config.txt b/Documentation/config.txt index 1ac0ae6adb..78ded635f2 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -2621,6 +2621,35 @@ push.gpgSign:: override a value from a lower-priority config file. An explicit command-line flag always overrides this config option. +push.pushOption:: + When no `--push-option=