Re: [RFC/PATCH] update-index: Add a --refresh-only option to refresh specified files.

Alexandre Julliard [off-list ref] writes:

This allows to quickly refresh a file that has been touched without
having to stat all the files of the project.

Signed-off-by: Alexandre Julliard <redacted>
---

Does this look reasonable?  The refresh_index_path() function is a
copy/paste of refresh_index(), I'm not sure all of it is really
needed, but I don't claim to understand all the subtleties of the
index management...

Makes me wonder why it is not like:

	$ git update-index --refresh Documentation/

That is:

 - why a new option?
 - why not a pathspec or glob, similar to what ls-files gets?