Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Delete a tag from the local git repository and push it to origin
#!/bin/bash #-x
GIT_TAG="${1}"
echo "Deleting remote git tag: ${GIT_TAG}"
git tag -d "${GIT_TAG}"
git push origin ":refs/tags/${GIT_TAG}"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment