Re: [PATCH 0/2] rebase -i: Fix left-behind CHERRY_PICK_HEAD

Johannes Schindelin [off-list ref] writes:

The symptom is that .git/CHERRY_PICK_HEAD is left behind after
skipping an already-merged patch with `git rebase --continue`
instead of `git rebase --skip`. I always prefer the former
invocation because the latter would also skip legitimate patches
if there were merge conflicts, while the former would not allow
that.

Makes sense; will queue.  Thanks.