Michael J Gruber <g...@drmicha.warpmail.net> writes:
> Junio C Hamano venit, vidit, dixit 15.09.2012 00:26:
>> Junio C Hamano <gits...@pobox.com> writes:
>>> Michael J Gruber <g...@drmicha.warpmail.net> writes:
>>>> you need to "rm file && git checkout file"). If the user has to
>>>> update $Id$ to match the current sha1 (by remembering to do a
>>>> more forceful checkout than checkout -f) then one half of that
>>>> feature is useless.
>>> As if there is any value in "$Id$" _feature_. It's a checkbox
>>> item, nothing more ;-).
>> Having said that, I think you could do something along this line (I
>> am thinking aloud, so there may be leaps in the logic below).
> You've convinced me not to try this in-core...
Quite contrary, I think the approach outlined is a reasonable way
forward. I do not care about a checkbox feature like $Id$ that is
incomatible with the fundamental concept in Git, but the approach
would help people who started their history with wrong CRLF
settings, tweak the attributes and then scratch their head trying to
repeatedly run "checkout", "reset --hard", etc. and still never
seeing the right thing to happen.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html