added automatic deletion of preexistent repo dir

This commit is contained in:
brb
2023-07-05 21:24:49 +02:00
parent 7eb8e5d2fd
commit fe64f2d8a3
+4 -1
View File
@@ -1,13 +1,16 @@
from pydantic import AnyHttpUrl
from pathlib import Path
from git import Repo
import shutil
def clone_repository(repo_url: AnyHttpUrl) -> Path:
# extract repo name
repo_name = repo_url.split('/')[-1].replace('.git', '')
dst_dir = Path(__file__).parent / repo_name
# prepare repo download dir
dst_dir.mkdir(exist_ok=True)
if dst_dir.exists():
shutil.rmtree(dst_dir)
dst_dir.mkdir()
# git clone repo
Repo.clone_from(url=repo_url, to_path=dst_dir)
return dst_dir