From 50985fe1bbb44f8126cc3f52d3a3079b0b80dc55 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bern=C3=A1t=20G=C3=A1bor?= Date: Sat, 17 Dec 2022 18:18:53 -0800 Subject: [PATCH] Fix release MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Bernát Gábor --- tasks/release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tasks/release.py b/tasks/release.py index d614e208e..1ffb733c7 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! ✨ 🍰 ✨")