Re: [PATCH/RFC 1/2] git-rebase -i: Add key word "drop" to remove a commit
- From
Philip Oakley <philipoakley@iee.org>
- Date
- May 27, 2015, 23:42 UTC
- Message-ID
- <68A62E92218D4FD4A71EA138C9F3725A@PhilipOakley>
- In-Reply-To
- <xmqqsiahltbu.fsf@gitster.dls.corp.google.com>
From: "Junio C Hamano" <gitster@pobox.com>
Show 14 quoted lines
> Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes: > >> I find it weird to write >> >> noop <sha1> <title> > > True, but then it can be spelled > > # <sha1> <title> > > too, so do we still want 'drop'? Unless we have a strong reason to > believe migrants from Hg cannot be (re)trained, personally, I'd feel > that we do not need this 'drop' thing. >
To me, the addition of "drop" would be a better completion of the list of action verbs for 'normal' users.
Training/Retraining users to use atypical techniques is a never ending task, so making drop a synonym for the existing noop appeals to my experience of users (of all sorts of tools, including personal experience ;-).
-- Philip