Re: What's cooking in git.git (Nov 2019, #03; Tue, 19)

> Derrick Stolee <stolee@gmail.com> writes:
> 
>>> 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.