From: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Date: Wed, 19 Jun 2013 05:40:45 GMT
Subject: Re: [Request] Git reset should be able to ignore file permissions
Message-ID: <vpqsj0emzdu.fsf@anie.imag.fr>
In-Reply-To: <CACuz9s2KEne5_PwHwmsd1X7iE=GB3pC=iUzxSo=t6TbF+ZjCxA@mail.gmail.com>

Alexander Nestorov <alexandernst@gmail.com> writes:

> How about that:
>
> +Reset only files who's content changed (instead of mtime modification)::

Much better, yes. I'd say "stat information" instead of mtime (that's
what used in the description of update-index --refresh, and is a bit
more accurate since Git also checks the inode number IIRC).

> +------------
> +$ git update-index --refresh               <1>
> +$ git reset --hard                         <2>
> +------------
> ++
> +<1> Make git realize which files actually changed instead of

s/git/Git/ when talking about "The Git system" (as opposed to "The git
command"). git-gui or other Git clients would also see the index change.

-- 
Matthieu Moy
http://www-verimag.imag.fr/~moy/