[ The rule here is to keep everyone Cced, not just git@vger ] Alexander Nestorov <alexander...@gmail.com> writes:
> Indeed, "git update-index --refresh" before "git reset" did the trick :) > Anyways, what about the proposal? Should it be implemented? I'd say the current behavior is OK by default (it's not so common to have stat-only changes, and re-checking the content would slow down the other operations). We could add a flag to "git reset" asking it to refresh the index before continuing, but that would essentially end-up doing "git update-index --refresh; git reset". It would make more sense to me to add something about update-index in the documentation of git reset. Patches welcome ;-). -- Matthieu Moy http://www-verimag.imag.fr/~moy/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
