From: Thomas Glanzmann <hidden> Date: 2016-06-15 22:43:15
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