tips icon indicating copy to clipboard operation
tips copied to clipboard

Update "Delete remote tag" to match delete remote branch

Open hyperupcall opened this issue 1 year ago • 2 comments

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.

hyperupcall avatar Oct 17 '23 11:10 hyperupcall

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 avatar Oct 25 '23 03:10 baooab

@baooab Agreed! Made those edits

hyperupcall avatar Oct 31 '23 09:10 hyperupcall