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

René Scharfe [off-list ref] writes:

Am 02.08.2018 um 22:36 schrieb Junio C Hamano:

quoted

Ævar Arnfjörð Bjarmason [off-list ref] writes:

quoted

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.