fixed bug when extracting repo name from url

2023-07-05 20:44:20 +02:00
parent ebb091fb6c
commit 884facb516
1 changed files with 1 additions and 1 deletions
@@ -3,7 +3,7 @@ from pathlib import Path

 def clone_repository(repo_url: AnyHttpUrl) -> Path:
    print(f'cloning into {repo_url}')
-    repo_name = repo_url.split('/')[-1].strip('.git')
+    repo_name = repo_url.split('/')[-1].strip('\.git')
    dst_dir = Path(__file__).parent / repo_name
    dst_dir.mkdir()
    return dst_dir