diff options
Diffstat (limited to 'scripts/dev/update_version.py')
| -rw-r--r-- | scripts/dev/update_version.py | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |