used gitpython to clone repo

This commit is contained in:
brb
2023-07-05 20:51:45 +02:00
parent 2bc925f0cd
commit a68307707e
+5
View File
@@ -1,9 +1,14 @@
from pydantic import AnyHttpUrl
from pathlib import Path
from git import Repo
def clone_repository(repo_url: AnyHttpUrl) -> Path:
print(f'cloning into {repo_url}')
# 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)
# git clone repo
Repo.clone_from(url=repo_url, to_path=dst_dir)
return dst_dir