tips
tips copied to clipboard
Update "Delete remote tag" to match delete remote branch
The --delete
flag can be used for deleting both remote branches and tags. This updates "Delete remote tag" to do that. It also adds a deletion syntax without the refs/tags
so it's known that it's usually not necessary.
git push origin --delete refs/tags/<tag-name>
feels a bit redundant. It can be changed to the following, which will be more concise.
git push origin --delete <tagname>
Alternatives:
git push origin :refs/tags/<tag-name>
@baooab Agreed! Made those edits