Re: [Request] Git reset should be able to ignore file permissions

[ The rule here is to keep everyone Cced, not just git@vger ]

Alexander Nestorov [off-list ref] 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/

Sorry for not keeping everyone Cced, I wasn't aware of the rules.

Yes, writing about that in the docs seems more reasonable than patching reset,
as as you said, that'd just run update-index before the reset.
Let me get at home and I'll try to push a change :)

Regards

I'm home, https://github.com/alexandernst/git/commit/61f0a7d558e3cbae308fabdff66bd87569d6aa18
Is that good? Should I PR?