On Mon, May 7, 2018 at 9:50 AM, Jeff King <p...@peff.net> wrote: > On Sat, May 05, 2018 at 11:57:26PM +0200, Johannes Schindelin wrote: > >> > It feels really petty complaining about the name, but I just want to >> > raise the point, since it will never be easier to change than right now. >> >> I do hear you. Especially since I hate `git cherry` every single time that >> I try to tab-complete `git cherry-pick`. > > Me too. :)
Just so you know I'm also not happy with that "git cherry". Since I'm updating git-completion.bash in this area and we got 3 "me too" votes (four if we count Szeder in another thread), I'm going to implementing something to at least let you exclude "cherry" from the completion list if you want. -- Duy
