It's not possible to delete a specific local git tag using the visual code
command to delete:
git tag --delete <tag name>
can you please add this feature?
dorsany
All 4 comments
@joaomoreno Hi! I'd like to try working on this feature. (This would be my first contribution to open-source tho! Would I need to be assigned first?)
josh-zheng
on 25 May 2019
Command git tag --delete <tag name> deletes only local, doesn't it?
In Git Extensions, when you select a tag to delete, it gives you the option to choose a remote if you want to delete there too:
lmcarreiro
on 26 May 2019
Hi, I took a look at the feature and proposed a PR(#74345)(my first PR) some hours ago. The PR only deletes the tag locally because, as you can see in the git tag documentation, it is considered as a bad practice to delete or re-tag when it is already pushed since other developers may have seen it and it could bring confusion, at least this is my understanding of the discussion found in git tag --help.
xuhas
on 27 May 2019
joaomoreno
on 24 Oct 2019
Related issues
mrkiley
路
3Comments
NikosEfthias
路
3Comments
philipgiuliani
路
3Comments
v-pavanp
路
3Comments
curtw
路
3Comments
Most helpful comment
Hi, I took a look at the feature and proposed a PR(#74345)(my first PR) some hours ago. The PR only deletes the tag locally because, as you can see in the git tag documentation, it is considered as a bad practice to delete or re-tag when it is already pushed since other developers may have seen it and it could bring confusion, at least this is my understanding of the discussion found in
git tag --help.