From 4f0536385f43543d27a6ecbe14c97dae5cbfda69 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Thu, 18 Jul 2019 12:06:01 +0200 Subject: Add missing format (cherry picked from commit 9cba5a074aff691331ae00f20c6c3e8de42ac87b) --- scripts/dev/update_version.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/dev/update_version.py b/scripts/dev/update_version.py index 346cbcd6c..3c95c30f3 100644 --- a/scripts/dev/update_version.py +++ b/scripts/dev/update_version.py @@ -67,7 +67,7 @@ if __name__ == "__main__": 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`.") + "git push origin`.".format(x=x_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