diff --git a/Documentation/config.txt b/Documentation/config.txt index 5642defb8c..5f0d62753d 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -2624,6 +2624,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=