From bca987ee64b2e4da55dc14afb008d9abd6fb479a Mon Sep 17 00:00:00 2001 From: Enno Rehling Date: Mon, 10 Sep 2018 17:54:39 +0200 Subject: [PATCH] force tag update after release --- s/release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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])