From: Alexander Nestorov <alexandernst@gmail.com>
Date: Tue, 18 Jun 2013 14:39:05 GMT
Subject: Re: [Request] Git reset should be able to ignore file permissions
Message-ID: <CACuz9s2DfN5O91ZF8QOnWuA0V3bGFuUG5RVmkmjeL7Jien+fYg@mail.gmail.com>
In-Reply-To: <vpqppvjpjz3.fsf@anie.imag.fr>

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