From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 03 Aug 2018 15:30:11 GMT
Subject: Re: Re* [PATCH] push: comment on a funny unbalanced option help
Message-ID: <xmqq600r1n98.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <3120e9b3-f3e7-465c-63c3-084d3f010e1e@web.de>

René Scharfe <l.s.r@web.de> writes:

> 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.

You're of course correct.  Thanks.