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

Karl Chen [off-list ref] writes:

quoted

quoted

quoted

quoted

quoted

On 2008-09-02 10:47 PDT, Junio C Hamano writes:

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

Do you agree that the old behavior is at odds with the
documentation and expectations of new users like me, and
inconsistent?

Yes, I was just trying to make you realize that it _could_ be the
documentation that needs fixing.