diff options
author | AUTOMATIC1111 <16777216c@gmail.com> | 2023-07-14 07:12:48 +0000 |
---|---|---|
committer | AUTOMATIC1111 <16777216c@gmail.com> | 2023-07-14 07:12:48 +0000 |
commit | 92a3236161099aca735c3f59f30859750d9e7452 (patch) | |
tree | ffc981e3fdd856dbc389af2e56f0d97d38ecaec1 /modules/ui_extensions.py | |
parent | 9a3f35b028a8026291679c35e1df5b2aea327a1d (diff) | |
parent | 9893d09b4378d14c2a3ef370a5e02b906993ea86 (diff) | |
download | stable-diffusion-webui-gfx803-92a3236161099aca735c3f59f30859750d9e7452.tar.gz stable-diffusion-webui-gfx803-92a3236161099aca735c3f59f30859750d9e7452.tar.bz2 stable-diffusion-webui-gfx803-92a3236161099aca735c3f59f30859750d9e7452.zip |
Merge branch 'dev' into sdxl
Diffstat (limited to 'modules/ui_extensions.py')
-rw-r--r-- | modules/ui_extensions.py | 17 |
1 files changed, 2 insertions, 15 deletions
diff --git a/modules/ui_extensions.py b/modules/ui_extensions.py index a208012d..dff522ef 100644 --- a/modules/ui_extensions.py +++ b/modules/ui_extensions.py @@ -325,17 +325,6 @@ def normalize_git_url(url): return url
-def github_proxy(url):
- proxy = shared.opts.github_proxy
-
- if proxy == 'None':
- return url
- if proxy == 'ghproxy.com':
- return "https://ghproxy.com/" + url
-
- return url.replace('github.com', proxy)
-
-
def install_extension_from_url(dirname, url, branch_name=None):
check_access()
@@ -346,8 +335,6 @@ def install_extension_from_url(dirname, url, branch_name=None): assert url, 'No URL specified'
- url = github_proxy(url)
-
if dirname is None or dirname == "":
*parts, last_part = url.split('/')
last_part = normalize_git_url(last_part)
@@ -367,12 +354,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, filter=['blob:none'], verbose=False) 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, filter=['blob:none'], branch=branch_name, verbose=False) 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()
|