Sebastian Bauer Tue, 08 Jan 2013 08:04:48 -0800
Okay, I found an explanation myself in the manual of git update-index. It seems that the --refresh option is needed.
--