sternenseemann 697b46aa96 fetchFromGitHub: also use git if deepClone or leaveDotGit is used ...

leaveDotGit is only inherited if it is explicitly set, so fetchgit's
default value for leaveDotGit ? deepClone is respected.

2020-12-21 13:20:04 +01:00

1.7 KiB

Raw Blame History

View Raw