Support git worktrees in fetchgit logic #11

Merged
roberth merged 2 commits from git-worktree into master 2020-10-27 11:08:33 +00:00

2 commits

Author SHA1 Message Date
Robert Hensing 5ad681b894 Simplify rootSrc fetchGit logic 2020-10-27 11:48:33 +01:00
Robert Hensing 64de97c480 Use fetchGit on git worktrees
Git worktrees have a file for .git and can be loaded with fetchGit.
2020-10-27 11:45:18 +01:00