diff options
| author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-05-21 08:06:26 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-21 08:06:26 +0000 |
| commit | 8e9188aa5afe222cb890ded55cfad41dab50898f (patch) | |
| tree | 752de933a90ce8b86de6fbb72854dee5168573a7 | |
| parent | 40a61f54e692f147b22c23506bdc7eaf8535a4f4 (diff) | |
| parent | cd03317c05b5e31d2d7b77d7ddd0e01f45c6064d (diff) | |
| download | stable-diffusion-webui-gfx803-8e9188aa5afe222cb890ded55cfad41dab50898f.tar.gz stable-diffusion-webui-gfx803-8e9188aa5afe222cb890ded55cfad41dab50898f.tar.bz2 stable-diffusion-webui-gfx803-8e9188aa5afe222cb890ded55cfad41dab50898f.zip | |
Merge pull request #10564 from AUTOMATIC1111/extensions-clone-depth-1
extensions clone --filter=blob:none
| -rw-r--r-- | modules/ui_extensions.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index ef18f438..515ec262 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -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, filter=['blob:none']) 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, filter=['blob:none'], branch=branch_name) as repo:
repo.remote().fetch()
for submodule in repo.submodules:
submodule.update()
|