fix: type error in copytree

This commit is contained in:
Gavin John 2025-08-26 18:03:06 -04:00 committed by GitHub
parent 91ff8049de
commit 10cf97dee4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -54,7 +54,7 @@ def commit_repo(repo: Repo, message: str, path: Path) -> Repo:
shutil.copytree(repo_source(repo.name), tmp.name, symlinks=True, dirs_exist_ok=True)
if os.path.exists(repo_path):
shutil.rmtree(repo_path)
shutil.copytree(tmp, repo_path, symlinks=True)
shutil.copytree(tmp.name, repo_path, symlinks=True)
tmp = None
finally:
if tmp is not None: