On Mon, Sep 09, 2019 at 12:57:17PM -0700, Junio C Hamano wrote: > Denton Liu <liu.den...@gmail.com> writes: > > > Hi Junio, > > > > On Sat, Sep 07, 2019 at 10:26:53AM -0700, Junio C Hamano wrote: > >> * dl/complete-cherry-pick-revert-skip (2019-08-27) 3 commits > >> - status: mention --skip for revert and cherry-pick > >> - completion: add --skip for cherry-pick and revert > >> - completion: merge options for cherry-pick and revert > >> > >> The command line completion support (in contrib/) learned about the > >> "--skip" option of "git revert" and "git cherry-pick". > >> > >> Will merge to 'next'. > > > > Did we end up deciding whether or not we were going to drop "status: > > mention --skip for revert and cherry-pick"? > > If you are not convinced it is a good idea, we can easily drop it > (and I do not mind dropping it---I am not convinced it is a good > idea myself).
In that case, let's not drop it. The original impetus for this idea came from cherry-picking a range of commits where one of the commits in the range patched a file that didn't exist on the target branch, so in this case skipping was the right course of action. In any case, I believe that giving the user more information in this case is, at worst, neutral.