Oops, missed a dirs_exist_ok

This commit is contained in:
Gavin John 2025-08-26 15:34:54 -04:00 committed by GitHub
parent 335d3c168e
commit d9fa25f613
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -50,7 +50,7 @@ def commit_repo(repo: Repo, message: str, path: Path) -> Repo:
assert tmp is not None
try:
shutil.copytree(repo_source(repo.name), tmp.name, symlinks=True)
shutil.copytree(repo_source(repo.name), tmp.name, symlinks=True, dirs_exist_ok=True)
shutil.rmtree(repo_path, ignore_errors=True)
os.rename(tmp.name, repo_path)
tmp = None