I fully agree with the two patches (that's what I've been arguing for
hours last time we talked about it, so no big surprise ;-) ).
One documentation nitpick :
Junio C Hamano [off-list ref] writes:
+diff.autorefreshindex::
+ When using `git diff` to compare with work tree
+ files, do not consider stat-only change as changed.
+ Instead, silently run `git update-index --refresh`
I'd rather avoid talking about plumbing in the documentation of
porcelain, so I'd say "silently refreshes the index's stat
information".
But I'm arguably wrong on that point, I let you decide.
Thanks,
--
Matthieu