extensions clone depth 1

This commit is contained in:
w-e-w 2023-05-20 15:08:08 +09:00
parent 39ec4f06ff
commit bf5e5f4269
1 changed files with 2 additions and 2 deletions

View File

@ -345,12 +345,12 @@ def install_extension_from_url(dirname, url, branch_name=None):
shutil.rmtree(tmpdir, True)
if not branch_name:
# if no branch is specified, use the default branch
with git.Repo.clone_from(url, tmpdir) as repo:
with git.Repo.clone_from(url, tmpdir, depth=1) as repo:
repo.remote().fetch()
for submodule in repo.submodules:
submodule.update()
else:
with git.Repo.clone_from(url, tmpdir, branch=branch_name) as repo:
with git.Repo.clone_from(url, tmpdir, depth=1, branch=branch_name) as repo:
repo.remote().fetch()
for submodule in repo.submodules:
submodule.update()