delete a remote tag If you have a tag named '12345' then you would just do this: git tag -d 12345 git push origin :refs/tags/12345 ```
git checkout refs/notes/commits
git fetch origin refs/notes/commits
git merge FETCH_HEAD
git update-ref refs/notes/commits HEAD
git checkout master