From: Junio C Hamano Date: Fri, 20 Oct 2017 06:18:36 GMT Subject: Re: [PATCH] builtin/push.c: add push.pushOption config Message-ID: In-Reply-To: Junio C Hamano writes: > Junio C Hamano writes: > >>> We'd also want to document how push.pushOption works in >>> Documentation/config.txt (that contains all the configs) >> >> Perhaps. > > Here is my attempt. Another thing I noticed while we are around the area is that unlike all other options in git-push.txt page, this one forgets to say it always takes mandatory string. Here is a possible fix. Documentation/git-push.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index aa78057dc5..a8504e0ae3 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt @@ -156,12 +156,12 @@ already exists on the remote side. Either all refs are updated, or on error, no refs are updated. If the server does not support atomic pushes the push will fail. --o:: ---push-option:: +-o