there must be some delicate dist. system issues if people are concurrently switching branches and the machine hosting the repo crashes. No?