[git-users] Re: git write-tree followed by git diff-files

[Sebastian Bauer]

Okay, I found an explanation myself in the manual of git update-index. It 
seems that the --refresh option is needed.

--