From 269848e07ca5ac2b84bdcc1fa743c0f000c479f1 Mon Sep 17 00:00:00 2001 From: KHOUBZA Younes Date: Sat, 4 Jun 2022 15:03:05 +0100 Subject: [PATCH] force pushing tags --- bin/release | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/release b/bin/release index 74066dad..1c7ebfa2 100755 --- a/bin/release +++ b/bin/release @@ -78,6 +78,6 @@ do git checkout "$RELEASE_BRANCH"; git tag "$VERSION" - git push origin --tags + git push origin --tags --force ) done