On Wed, Oct 17, 2018 at 03:53:41PM +0200, Andreas Gruenbacher wrote: > On Wed, 17 Oct 2018 at 11:12, Jeff King <p...@peff.net> wrote: > > On Tue, Oct 16, 2018 at 11:24:38PM +0200, Andreas Gruenbacher wrote: > > > here's a long-overdue update of my proposal from August 29: > > > > > > [RFC] revision: Don't let ^<rev> cancel out the default <rev> > > > > > > Does this look more acceptable that my first shot? > > > > I think it's going in the right direction. > > > > The name "--sticky-default" did not immediately make clear to me what it > > does. Is there some name that would be more obvious? > > It's the best I could think of. Better ideas, anyone?
I'd probably call it something verbose and boring like --use-default-with-uninteresting or --default-on-negative. I dunno. -Peff
