I have a repository in GitHub and I need to tag it. I tagged in a shell, but on GitHub, it is not showing up.
I have cloned a remote Git repository to my laptop, then I wanted to add a tag so I ran git tag mytag master
How do you delete a Git tag that has already been pushed?