add openPullRequest command and update related logic in GitHub extension

This commit is contained in:
Osvaldo Ortega
2026-02-26 11:55:52 -08:00
parent 3aedb3e937
commit 21049d3dc8
4 changed files with 44 additions and 2 deletions

View File

@@ -74,6 +74,11 @@
"command": "github.createPullRequest",
"title": "%command.createPullRequest%",
"icon": "$(git-pull-request)"
},
{
"command": "github.openPullRequest",
"title": "%command.openPullRequest%",
"icon": "$(git-pull-request)"
}
],
"continueEditSession": [
@@ -95,6 +100,10 @@
"command": "github.createPullRequest",
"when": "false"
},
{
"command": "github.openPullRequest",
"when": "false"
},
{
"command": "github.graph.openOnGitHub",
"when": "false"
@@ -179,7 +188,13 @@
"command": "github.createPullRequest",
"group": "navigation",
"order": 1,
"when": "isSessionsWindow && agentSessionHasChanges && chatSessionType == copilotcli"
"when": "isSessionsWindow && agentSessionHasChanges && chatSessionType == copilotcli && !github.hasOpenPullRequest"
},
{
"command": "github.openPullRequest",
"group": "navigation",
"order": 1,
"when": "isSessionsWindow && agentSessionHasChanges && chatSessionType == copilotcli && github.hasOpenPullRequest"
}
]
},