Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
bugfix: do not clone twice a git repository
Trying to clone a repository already living in the code root was leading to a bogus "xxx does not seem to be a valid git repository URL" error. We fix this by first resolving the repository path on the local disk and check whether or not we already cloned it. If that's the case, open the repository instead of trying to clone it.
- Loading branch information