Alexandre Julliard <julliard@xxxxxxxxxx> 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 <julliard@xxxxxxxxxx> > --- > > 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? - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
