Re: [PATCH v2 02/18] Add a new builtin: branch-diff
- From
Jeff King <peff@peff.net>
- Date
- May 7, 2018, 07:50 UTC
- Message-ID
- <20180507075006.GD31170@sigill.intra.peff.net>
- In-Reply-To
- <nycvar.QRO.7.76.6.1805052355190.77@tvgsbejvaqbjf.bet>
On Sat, May 05, 2018 at 11:57:26PM +0200, Johannes Schindelin wrote:
Show 5 quoted lines
> > 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