Skip to content

Add command to delete remote tag (fix #104845)#134327

Closed
gpoussel wants to merge 1 commit intomicrosoft:mainfrom
gpoussel:fix-104845
Closed

Add command to delete remote tag (fix #104845)#134327
gpoussel wants to merge 1 commit intomicrosoft:mainfrom
gpoussel:fix-104845

Conversation

@gpoussel
Copy link
Copy Markdown
Contributor

@gpoussel gpoussel commented Oct 2, 2021

This PR fixes #104845 by creating a new "Delete Remote Tag" command to Git.

The action is available through Command Palette and through the "More Actions..." menu.

  1. The user selects a tag
  2. The user selects the remote to delete the tag from
  3. The command git push --delete {remoteName} {tagName} is executed

@lszomoru
Copy link
Copy Markdown
Member

lszomoru commented Jan 3, 2023

@gpoussel, thank you very much for your contribution. I have manually posted the code to a new pull request - #170415.

@lszomoru lszomoru closed this Jan 3, 2023
@lszomoru lszomoru added this to the January 2023 milestone Jan 3, 2023
@lszomoru lszomoru added the on-release-notes Issue/pull request mentioned in release notes label Jan 3, 2023
@github-actions github-actions Bot locked and limited conversation to collaborators Feb 17, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

git GIT issues on-release-notes Issue/pull request mentioned in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Git: Add support to delete remote git tags using command palette

4 participants