-
Rémi Duraffort authored
When using a worktree, ".git" is a file and not a directory. Signed-off-by: Rémi Duraffort <remi.duraffort@linaro.org>
851b4bc3
When using a worktree, ".git" is a file and not a directory.
Signed-off-by: Rémi Duraffort <remi.duraffort@linaro.org>