On Friday 08 May 2009, david@xxxxxxx wrote: > removing the index and doing a checkout would be a reasonable thing to do > (at least conceptually), I will admit that I don't remember ever seeing a > command (or discussion of one) that would let me do that. What about: rm .git/index git checkout -f or maybe: git update-index --no-assume-unchanged --refresh git checkout -f Hm? ....Johan -- Johan Herland, <johan@xxxxxxxxxxx> www.herland.net -- 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