An additional note. I did git ls-files -v | grep ^S
and I can see that the files that remain in the working version have the ^S bit set. So it does feel like a bug to me: why are files with ^S set remaining in the working version after git read-tree -mu HEAD ? Regards, Martin -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html