diff --git a/scripts/set_core_version.py b/scripts/set_core_version.py index ac0f1afec..8a2df62d9 100644 --- a/scripts/set_core_version.py +++ b/scripts/set_core_version.py @@ -84,7 +84,7 @@ def main(): print("after commit, on master make sure to: ") print("") - print(" git tag {}".format(newversion)) + print(" git tag -a {}".format(newversion)) print(" git push origin {}".format(newversion)) print("")