Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html