Commit 538dfc8816087f3952f499212f1564336b2cba87

Edward Thomson 2015-09-17T18:12:05

repository: only reserve repo dirs in the workdir Check that the repository directory is beneath the workdir before adding it to the list of reserved paths. If it is not, then there is no possibility of checking out files into it, and it should not be a reserved word. This is a particular problem with submodules where the repo directory may be in the super's .git directory.