diff --git a/scripts/ci/build-artifacts-site.sh b/scripts/ci/build-artifacts-site.sh index 009de17a6..d73c60792 100755 --- a/scripts/ci/build-artifacts-site.sh +++ b/scripts/ci/build-artifacts-site.sh @@ -102,7 +102,10 @@ echo "https://${ACCESS_TOKEN}:@github.com" > .git/credentials if [[ $(git ls-remote origin "refs/tags/${buildTagName}") ]]; then echo "removed tag because tag is already published" + git tag -d ${buildTagName} + git push --delete origin ${buildTagName} git push origin :refs/tags/${buildTagName} + sleep 2 fi echo "Git configuration has been updated to match the last commit author. Publishing now.." diff --git a/scripts/ci/build-artifacts.sh b/scripts/ci/build-artifacts.sh index a25c34026..c639bcbfe 100755 --- a/scripts/ci/build-artifacts.sh +++ b/scripts/ci/build-artifacts.sh @@ -92,9 +92,10 @@ echo "https://${ACCESS_TOKEN}:@github.com" > .git/credentials if [[ $(git ls-remote origin "refs/tags/${buildTagName}") ]]; then echo "removed tag because tag is already published" + git tag -d ${buildTagName} git push --delete origin ${buildTagName} git push origin :refs/tags/${buildTagName} - sleep 5 + sleep 2 fi echo "Git configuration has been updated to match the last commit author. Publishing now.."