add script for renaming tags

Signed-off-by: Jakub Sokołowski <jakub@status.im>
This commit is contained in:
Jakub Sokołowski 2020-10-19 22:00:57 +02:00
parent d95fb97e6a
commit 66029f01ae
No known key found for this signature in database
GPG Key ID: 4EF064D0E6D63020
1 changed files with 16 additions and 0 deletions

16
github/rename_tag.sh Executable file
View File

@ -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