From 310a1ad5f1876cebf025572fb196db4f2e3d68c9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Soko=C5=82owski?= Date: Fri, 16 Apr 2021 16:14:57 +0200 Subject: [PATCH] drop scripts/tag-release.sh in favor of scripts/cut-release.sh MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Jakub SokoĊ‚owski --- scripts/tag-release.sh | 26 -------------------------- 1 file changed, 26 deletions(-) delete mode 100755 scripts/tag-release.sh diff --git a/scripts/tag-release.sh b/scripts/tag-release.sh deleted file mode 100755 index 2da4e15653..0000000000 --- a/scripts/tag-release.sh +++ /dev/null @@ -1,26 +0,0 @@ -#!/usr/bin/env bash - -set -eof pipefail - -if [ $# -eq 0 ] -then - echo "Need to supply a release tag" - exit 0 -fi - -TAG=$1 - -if $(git tag | grep -q $TAG); then - echo "Tag $TAG exists, replacing" - git tag --delete $TAG - git push --delete origin $TAG -else - echo "New tag $TAG" -fi - -git tag -s -a $TAG -m "Release $TAG" - -# NOTE(oskarth): Alt. that requires two pushes: git push origin $TAG -git push --follow-tags - -echo "Done"