Re: [PATCH] git-reset [--mixed] <tree> [--] <paths>...

Junio C Hamano [off-list ref] writes:

Sometimes it is asked on the list how to revert selected path in
the index from a tree, most often HEAD, without affecting the
files in the working tree...

The patch depends on another one that allows the command to work
from a subdirectory (and also has one bug).  Updated one will
appear in 'next'.