From: Stefan Beller Date: Thu, 19 Oct 2017 19:46:08 GMT Subject: Re: [PATCH] builtin/push.c: add push.pushOption config Message-ID: In-Reply-To: <20171019174715.6577-1-marius.paliga@gmail.com> On Thu, Oct 19, 2017 at 10:47 AM, Marius Paliga wrote: > Push options need to be given explicitly, via the command line as "git > push --push-option