From: Alexander Nestorov <alexandernst@gmail.com>
Date: Tue, 18 Jun 2013 14:22:52 GMT
Subject: Re: [Request] Git reset should be able to ignore file permissions
Message-ID: <CACuz9s0=7z-M1-zgRNUs2hS-4LcuXrsWbqyDaMnuvFXRnP7E-Q@mail.gmail.com>
In-Reply-To: <vpq7ghrqzrv.fsf@anie.imag.fr>

Indeed, "git update-index --refresh" before "git reset" did the trick :)
Anyways, what about the proposal? Should it be implemented?

Thank you