From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 25 Aug 2020 08:58:03 GMT
Subject: pw/add-p-allowed-options-fix, was Re: What's cooking in git.git (Aug 2020, #06; Mon, 24)
Message-ID: <nycvar.QRO.7.76.6.2008251056290.56@tvgsbejvaqbjf.bet>
In-Reply-To: <xmqq7dtn3785.fsf@gitster.c.googlers.com>

Hi Junio,

On Mon, 24 Aug 2020, Junio C Hamano wrote:

> * pw/add-p-allowed-options-fix (2020-08-17) 2 commits
>  - add -p: fix checking of user input
>  - add -p: use ALLOC_GROW_BY instead of ALLOW_GROW
>
>  "git add -p" update.
>
>  Will merge to 'next'.

I thought the consensus was to untangle the refactoring in the second
patch by first fixing the `e` case, and _then_ refactoring?

With Phillip being offline for a couple days, however, I think we can just
go forward with the patches as-are. They are in "good enough" a shape.

Ciao,
Dscho