Commit 384518d09dc16b8a7dae22069e0c612e4b65c5e8
2015-10-27T14:17:52
repository: restrict checking out checked out branches If a branch is already checked out in a working tree we are not allowed to check out that branch in another repository. Introduce this restriction when setting a repository's HEAD.