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. :) I've wondered if "git pick" would be a good alias for cherry-pick (the "cherry" metaphor is probably not well understood by most users). And "revert" should just be "pick -R", but that is a whole other discussion. -Peff
