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 ;-).
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