Hello again, the machine that had the issues just got down because of a broken power supply and took half the rack with it. So it was definitive a hardware fault. Sorry for all the trouble. And the bottom line is: It was _not_ git, it was broken hardware! Thomas - 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