From: Johannes Schindelin Date: Fri, 31 Oct 2008 23:13:29 GMT Subject: Re: [PATCH] prepare deprecation of git-revert Message-ID: In-Reply-To: <20081031165003.GA5355@steel.home> Hi, On Fri, 31 Oct 2008, Alex Riesen wrote: > Pierre Habouzit, Fri, Oct 31, 2008 16:55:27 +0100: > > @@ -439,16 +436,17 @@ static int revert_or_cherry_pick(int argc, const char **argv) > > > > int cmd_revert(int argc, const char **argv, const char *prefix) > > { > > +#if 0 > > + warning("git revert is deprecated, please use git cherry-pick --revert/-R instead"); > > +#endif > > "git revert" is much shorter to type than "git cherry-pick -R". How > about renaming "cherry-pick" into something short, like "pick"? I thought we agreed that we should _never_ remove support for "git revert"? I mean, we can deprecate it, but I find it pretty strong, and unnecessary, to break existing users' expectations. Ciao, Dscho