From: Alexander Nestorov <alexandernst@gmail.com>
Date: Tue, 18 Jun 2013 14:05:47 GMT
Subject: Re: [Request] Git reset should be able to ignore file permissions
Message-ID: <CACuz9s0zRoqnZEzxSbcCe74n+TubGBwcMqbuU+PP1-t4TKXeZA@mail.gmail.com>
In-Reply-To: <20130618140120.GD4676@serenity.lan>

Git reset --keep is not an option as it will abort the operation if
there are local changes,
which is exactly what I want to do: replace files with local changes
but leave file
permissions as they are.