| import os
|
| import git
|
|
|
| def download_repo(repo_url: str, destination: str = "repo"):
|
| """Clones a Git repository to a specified destination."""
|
| if os.path.exists(destination):
|
| print(f"Removing existing directory: {destination}")
|
| os.system(f"rm -rf {destination}")
|
|
|
| print(f"Cloning {repo_url} into {destination}...")
|
| git.Repo.clone_from(repo_url, destination)
|
| print("Clone completed!")
|
|
|
| if __name__ == "__main__":
|
| REPO_URL = os.getenv("REPO_URL", "https://github.com/taellinglin/Carmen.git")
|
| DEST_DIR = os.getenv("DEST_DIR", "repo")
|
|
|
| download_repo(REPO_URL, DEST_DIR)
|
|
|
