From 5b65fd57540e48833f4197e6aa3fe9918e5cdc60 Mon Sep 17 00:00:00 2001 From: Kevin Hester Date: Tue, 25 May 2021 08:33:14 +0800 Subject: [PATCH] force new revision names, incase we mess up builds --- bin/promote-release.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bin/promote-release.sh b/bin/promote-release.sh index af245762..70dce868 100755 --- a/bin/promote-release.sh +++ b/bin/promote-release.sh @@ -5,7 +5,7 @@ echo "This script is only for developers who are publishing new builds on github VERSION=`bin/buildinfo.py short` # Must have a V prefix to trigger github -git tag "v${VERSION}" -git push root "v${VERSION}" # push the tag +git tag -f "v${VERSION}" +git push root -f "v${VERSION}" # push the tag echo "Tag ${VERSION} pushed to github, github actions should now be building the draft release. If it seems good, click to publish it"