Re: Re* [PATCH] push: comment on a funny unbalanced option help

From

Junio C Hamano <gitster@pobox.com>

Date

Aug 2, 2018, 20:36 UTC

Message-ID

<xmqqr2jgzess.fsf@gitster-ct.c.googlers.com>

In-Reply-To

<87effgtsnm.fsf@evledraar.gmail.com>

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