Re: What's cooking in git.git (Nov 2019, #03; Tue, 19)
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Nov 21, 2019, 00:36 UTC
- Message-ID
- <xmqqy2wa9ibs.fsf@gitster-ct.c.googlers.com>
- In-Reply-To
- <039f7668-53e3-9c6d-d813-ca412c4d1ed2@gmail.com>
Derrick Stolee <stolee@gmail.com> writes:
Show 11 quoted lines
>> OK. I had an impression that it was something relatively easily >> patched to restore the plumbing behaviour without taking the >> remainder of the series with a follow-on work. If it is not the >> case, perhaps I should revert the merge to 'next' and kick it back >> to 'pu'. >> >> Thanks for stopping me. > > That commit can be ejected from the series without affecting the > correctness of any of the other commits. That will require reverting > the merge at this point, though.
I've done the "reverting" part of everything, so that other patches that need further work, if any, can be given a fresh start.
Thanks.