On Dec 9, 2007 8:21 AM, Jeff King <peff@xxxxxxxx> wrote: > The tip about speeding up subsequent operations is now > obsolete; since aecbf914, git-diff now squelches empty diffs > and performs an automatic refresh. > > Signed-off-by: Jeff King <peff@xxxxxxxx> > --- > This is on top of my other patches to the git-status docs. > > I don't see any reason to mention this side effect at all. Those who > know enough to set diff.autorefreshindex presumably know what they are > doing, and the removed paragraph is a bit confusing to those who don't. > ... I wasn't aware the index needed refreshing. This might be totally unrelated to the present conversation, but the GIT-VERSION-GEN script occasionally gives me spurious 'dirty' results (eg when a file timestamp changes despite the content having changed). Should it perhaps be running "git update-index --refresh" before it runs "git diff-index --name-only HEAD" ? - 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
