Git tricks

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