From 461077b6cf8990f1b761ddbe727788ba0b01abf7 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Fri, 24 Oct 2025 14:34:20 +0200 Subject: [PATCH] ci: Fix reupload in script --- scripts/dev/update_version.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/dev/update_version.py b/scripts/dev/update_version.py index 81cd2ecdc..5e5a633fa 100644 --- a/scripts/dev/update_version.py +++ b/scripts/dev/update_version.py @@ -60,7 +60,7 @@ def show_commit(): if __name__ == "__main__": parser = argparse.ArgumentParser(description="Update release version.") parser.add_argument('bump', action="store", - choices=["major", "minor", "patch", "dummy"], + choices=["major", "minor", "patch", "reupload"], help="Update release version") parser.add_argument('--commands', action="store_true", help="Only show commands to run post-release.") @@ -70,7 +70,7 @@ if __name__ == "__main__": if not args.commands: verify_branch(args.bump) - if args.bump != "dummy": + if args.bump != "reupload": bump_version(args.bump) show_commit() @@ -88,7 +88,7 @@ if __name__ == "__main__": print(f"Outputs for {version} written to GitHub Actions output file") else: print("Run the following commands to create a new release:") - if args.bump != 'dummy': + if args.bump != 'reupload': print("* git push origin; git push origin v{v}".format(v=version)) if args.bump == 'patch': print("* git checkout main && git cherry-pick -x v{v} && "