extensiones.py

import git

def git_clone(repo_url, destination_folder):
    try:
        repo = git.Repo.clone_from(repo_url, destination_folder)
        print(f"Repository {repo_url} cloned successfully.")
    except git.exc.GitCommandError as e:
        print(f"Error cloning repository {repo_url}: {e}")

# Replace these with your desired repository URLs and destination folders
repositories = [
     
    {"url": "https://github.com/Uminosachi/sd-webui-inpaint-anything.git", "folder": "/content/spidey/extensions/sd-webui-inpaint-anything"},
    {"url": "https://github.com/continue-revolution/sd-webui-segment-anything.git", "folder": "/content/spidey/extensions/sd-webui-segment-anything"},
    {"url": "https://github.com/mcmonkeyprojects/sd-dynamic-thresholding.git", "folder": "/content/spidey/extensions/sd-dynamic-thresholding"},
    {"url": "https://github.com/AlUlkesh/stable-diffusion-webui-images-browser.git", "folder": "/content/spidey/extensions/stable-diffusion-webui-images-browser"},
]

for repo_info in repositories:
    git_clone(repo_info["url"], repo_info["folder"])