force tag update after release

2018-09-10 17:54:39 +02:00 · 2018-09-10 17:54:39 +02:00 · bca987ee64
parent 418d6b1f6c
commit bca987ee64
1 changed files with 1 additions and 1 deletions
--- a/s/release
+++ b/s/release
@ -5,6 +5,6 @@ import sys

 def new_version(ver):
    os.system("git tag -f v%s" % ver)
-    os.system("git push --tags")
+    os.system("git push --tags -f")

 new_version(sys.argv[1])