Re: [PATCH] Support diff.autorefreshindex=true in `git-diff --quiet'

Karl Chen [off-list ref] writes:

If anyone actually used the old behavior of ignoring
diff.autorefreshindex (as an optimization, because the script ran
update-index --refresh outside a loop), there could be a --quick
option, or they could use git-diff-files.

No, that actually is a wrong attitude.

If somebody's depending on the behaviour, it is this new behaviour of
doing everything asked without shortcut that needs to become a new
option.

What tempted me to suggest the simpler and potentially slower approach was
my hunch that no sane people depended on the old behaviour.