From: Karl Chen <hidden> Date: 2016-06-15 22:45:16
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."