Re: [PATCH] Documentation: add a planning document for the next CLI revamp

Theodore Tso [off-list ref] writes:

* Add the command "git revert-file <files>" which is syntactic sugar for:

        git checkout HEAD -- <files>

I don't think "revert-file" is a good name for this: although other
SCM often call this "revert", what Git calls "revert" is about
reverting an existing commit (it's "backout" in hg for example). The
terminology to revert the working tree to the last commited version is
already here in Git, it's "reset".

I've already argued in favor of allowing "git reset --hard <files>",
which is consistant with existing terminology and doesn't add an extra
command, but without success.

-- 
Matthieu