diff --git a/github/rename_tag.sh b/github/rename_tag.sh new file mode 100755 index 0000000..0be985b --- /dev/null +++ b/github/rename_tag.sh @@ -0,0 +1,16 @@ +#!/usr/bin/env bash + +OLD_TAG=${1} +NEW_TAG=${OLD_TAG%-mobile} + +echo "OLD: ${OLD_TAG}" +echo "NEW: ${NEW_TAG}" + +COMMIT=$(git rev-parse ${OLD_TAG}) +echo "COMMIT: ${COMMIT}" + +git tag --delete ${OLD_TAG} +git push origin --delete ${OLD_TAG} + +git tag ${NEW_TAG} ${COMMIT} +git push origin --tags