From 45e2c29e1681e9f69b72e49358a10b83f535edf9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bern=C3=A1t=20G=C3=A1bor?= Date: Sat, 17 Dec 2022 18:17:28 -0800 Subject: [PATCH] Update release branch 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 | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/tasks/release.py b/tasks/release.py index bc5ba33d9..d614e208e 100644 --- a/tasks/release.py +++ b/tasks/release.py @@ -17,12 +17,19 @@ def main(version_str: str) -> None: if repo.is_dirty(): raise RuntimeError("Current repository is dirty. Please commit any changes and try again.") upstream, release_branch = create_release_branch(repo, version) - release_commit = release_changelog(repo, version) - tag = tag_release_commit(release_commit, repo, version) - print("push release commit") - repo.git.push(upstream.name, release_branch) - print("push release tag") - repo.git.push(upstream.name, tag) + try: + release_commit = release_changelog(repo, version) + tag = tag_release_commit(release_commit, repo, version) + print("push release commit") + repo.git.push(upstream.name, f"{release_branch}:main", "-f") + print("push release tag") + repo.git.push(upstream.name, tag, "-f") + finally: + print("checkout main to new release and delete release branch") + repo.heads.main.checkout() + repo.delete_head(release_branch) + upstream.fetch() + repo.git.reset("--hard upstream/main") print("All done! ✨ 🍰 ✨")