I suggest expanding/clarifying the documentation for
git-update-index --refresh. For example:
"If a file's mtime has changed, but its contents have not,
then update-index --refresh will update the index to reflect
the new mtimes."
--
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
