Move/recreate a git tag #
export GIT_TAG=<tag>
git tag -d $GIT_TAG
git push origin :refs/tags/$GIT_TAG
git checkout main
git pull
git tag $GIT_TAG
git push origin $GIT_TAG
guest@bastion:~/docs/development/git-tricks$
man development/git-tricks
GIT-TRICKS(7)Simon Cornet's docsGIT-TRICKS(7)
Git tricks
development27 wordsGIT-TRICKS(7)