2 commits

Author	SHA1	Message	Date
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
Matthew Bauer	d16e0f8dc3	all-packages: move fetch* to pkgs/build-support/	2019-01-26 22:47:54 -05:00