Add git-retag and woodpecker_server

2022-04-20 23:31:37 +02:00 · 2022-04-20 23:31:37 +02:00 · 2a51281db8
commit 2a51281db8
parent 78f73135b3
2 changed files with 14 additions and 0 deletions
--- a/.bin/git-retag
+++ b/.bin/git-retag
@ -0,0 +1,12 @@
+#!/usr/bin/env sh
+
+set -e
+
+echo "Deleting tag from origin"
+git push --delete origin "$1"
+
+echo "Deleting tag locally"
+git tag -d "$1"
+
+echo "Recreating tag"
+git tag -s -m "$1" "$1"