If you want to delete a local tag then you would do
git tag -d the_local_tag
But if you want to delete remote tag, then the syntax is a little different
git push origin :refs/tags/the_remote_tag
Last active
February 12, 2016 20:09
-
-
Save hugoduraes/8b8352e3d566a1eef193 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