Git - add command to delete remote branch (#239692)

This commit is contained in:
Ladislau Szomoru
2025-02-05 16:32:11 +01:00
committed by GitHub
parent 4072228a7d
commit 47b33dc58d
3 changed files with 58 additions and 11 deletions

View File

@@ -490,6 +490,12 @@
"category": "Git",
"enablement": "!operationInProgress"
},
{
"command": "git.deleteRemoteBranch",
"title": "%command.deleteRemoteBranch%",
"category": "Git",
"enablement": "!operationInProgress"
},
{
"command": "git.renameBranch",
"title": "%command.renameBranch%",
@@ -1224,6 +1230,10 @@
"command": "git.deleteBranch",
"when": "config.git.enabled && !git.missing && gitOpenRepositoryCount != 0"
},
{
"command": "git.deleteRemoteBranch",
"when": "config.git.enabled && !git.missing && gitOpenRepositoryCount != 0"
},
{
"command": "git.renameBranch",
"when": "config.git.enabled && !git.missing && gitOpenRepositoryCount != 0"
@@ -2437,6 +2447,10 @@
"command": "git.deleteBranch",
"group": "3_modify@2"
},
{
"command": "git.deleteRemoteBranch",
"group": "3_modify@3"
},
{
"command": "git.publish",
"group": "4_publish@1"