Re:

On Friday 08 May 2009, david@lang.hm 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, [off-list ref]
www.herland.net