From: "Junio C Hamano" <gits...@pobox.com>
Matthieu Moy <matthieu....@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
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
