From: René Scharfe <l.s.r@web.de>
Date: Fri, 03 Aug 2018 04:42:30 GMT
Subject: Re: Re* [PATCH] push: comment on a funny unbalanced option help
Message-ID: <3120e9b3-f3e7-465c-63c3-084d3f010e1e@web.de>
In-Reply-To: <xmqqr2jgzess.fsf@gitster-ct.c.googlers.com>

Am 02.08.2018 um 22:36 schrieb Junio C Hamano:
> Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:
> 
>> Thanks, FWIW that's fine by me, and also if you want to drop this "fake"
>> patch of mine and replace it with something René came up with (I have
>> not yet read his 1-6 patches submitted on this topic, so maybe they're
>> not mutually exclusive).
> 
> I think the 6-patch series supersedes this one.  Thanks anyway.

Actually no, I specifically avoided touching builtin/push.c because this
patch already handled it; it should still be applied before patch 6 from
my series.

René