Is it possible to delete remote tags?

[mark2185]

Discussed in #2633

^{Originally posted by AndrewSav May 17, 2023}
I was able to figure out how to create local tags and push them, but I don't seem to be able to push a deleted local tag. Is this possible?

Also it seems deleting tags locally is futile anyway, they come back from the remote in a minute anyway... Is it possible to make it stick?

P.S. currently achieved through a custom command (eyeballed it):

  - key: 'D'
    command: "git push --delete {{ .SelectedTag.FullRefName }}"
    context: 'tags'
    stream: true
    prompts:
      - type: 'confirm'
        title: "Confirm:"
        body: "Are you sure you want to delete the tag {{.SelectedTag}}?"

[jesseduffield]

Deleting local tags is only futile if you've already pushed them. What if pressing 'd' brought up a menu that asked if you wanted to delete the local tag, delete the remote tag, or delete both? We could then use that with branches as well. With that approach we're not interfering with muscle memory.

[mark2185]

Well the menu thingy sounds nice, had me on "we could then use that with branches as well".

I'd chuck a good first issue (?), doesn't seem too wild to add two menus for that.

[jesseduffield]

Agreed

[AzraelSec]

Hey @jesseduffield can I pick this up?

[jesseduffield]

Go for it @AzraelSec !