Add a new tag and push it
git tag new_tag old_tag
git push --tags
Then delete the old tag from remote and local
git push origin :refs/tags/old_tag
git tag -d old_tag
Last active
February 12, 2016 20:10
-
-
Save hugoduraes/f70a269a357caca96087 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment