diff --git a/s/release b/s/release
index 89b2bd9e9..1d10ac125 100755
--- 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])