diff options
author | Bernát Gábor <bgabor8@bloomberg.net> | 2022-12-17 18:18:53 -0800 |
---|---|---|
committer | Bernát Gábor <bgabor8@bloomberg.net> | 2022-12-17 18:19:12 -0800 |
commit | 50985fe1bbb44f8126cc3f52d3a3079b0b80dc55 (patch) | |
tree | 9723adbbae5ed3e27743d67c4d467b8a0a5719e7 /tasks | |
parent | e6550b87b6e65760059fd250c18127467cae2dee (diff) | |
download | tox-git-50985fe1bbb44f8126cc3f52d3a3079b0b80dc55.tar.gz |
Fix release
Signed-off-by: Bernát Gábor <bgabor8@bloomberg.net>
Diffstat (limited to 'tasks')
-rw-r--r-- | tasks/release.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tasks/release.py b/tasks/release.py index d614e208..1ffb733c 100644 --- a/tasks/release.py +++ b/tasks/release.py @@ -27,7 +27,7 @@ def main(version_str: str) -> None: finally: print("checkout main to new release and delete release branch") repo.heads.main.checkout() - repo.delete_head(release_branch) + repo.delete_head(release_branch, force=True) upstream.fetch() repo.git.reset("--hard upstream/main") print("All done! ✨ 🍰 ✨") |