From ef049220a8d4dafb2662aa4d6f3a857d3fd0237d Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Thu, 18 Jul 2019 12:08:34 +0200 Subject: update_version: Print tag (cherry picked from commit 412dd58b0b821199188e8cebedbb0e78204ccb33) --- scripts/dev/update_version.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/dev/update_version.py b/scripts/dev/update_version.py index 3c95c30f3..4bf626881 100644 --- a/scripts/dev/update_version.py +++ b/scripts/dev/update_version.py @@ -66,8 +66,8 @@ if __name__ == "__main__": print("Run the following commands to create a new release:") print("* Run `git push origin; git push origin v{v}`.".format(v=version)) if args.bump == 'patch': - print("* Run `git checkout master && git cherry-pick v{x} && " - "git push origin`.".format(x=x_version)) + print("* Run `git checkout master && git cherry-pick v{v} && " + "git push origin`.".format(v=version)) else: print("* Run `git branch v{x} v{v}` && git push origin v{x}." .format(v=version, x=x_version)) -- cgit v1.2.3-54-g00ecf