From: Junio C Hamano Date: Wed, 18 Oct 2017 00:54:12 GMT Subject: Re: [PATCH] Added support for new configuration parameter push.pushOption Message-ID: In-Reply-To: Marius Paliga writes: > builtin/push.c: add push.pushOption config This is a good title for this change; it would be perfect if it were on the Subject: header ;-) > Currently push options need to be given explicitly, via > the command line as "git push --push-option". > > The UX of Git would be enhanced if push options could be > configured instead of given each time on the command line. > > Add the config option push.pushOption, which is a multi > string option, containing push options that are sent by default. s/Currently p/P/ would be sufficient; we describe the status quo in present tense, and give an order to the codebase to "become like so" (or command a patch monkey to "make the codebase like so") by using imperative mood. I think something shorter like this would be sufficient: Push options need to be given explicitly, via the command line as "git push --push-option