|
3961 | 3961 | "when": "config.githubPullRequests.experimental.chat" |
3962 | 3962 | }, |
3963 | 3963 | { |
3964 | | - "name": "github-pull-request_activePullRequest", |
| 3964 | + "name": "github-pull-request_currentActivePullRequest", |
3965 | 3965 | "tags": [ |
3966 | 3966 | "github", |
3967 | 3967 | "pull request" |
3968 | 3968 | ], |
3969 | 3969 | "toolReferenceName": "activePullRequest", |
3970 | | - "displayName": "%languageModelTools.github-pull-request_activePullRequest.displayName%", |
| 3970 | + "displayName": "%languageModelTools.github-pull-request_currentActivePullRequest.displayName%", |
3971 | 3971 | "modelDescription": "Get comprehensive information about the active GitHub pull request (PR). The active PR is the one that is currently checked out. This includes the PR title, full description, list of changed files, review comments, and PR state. For PRs created by Copilot, it also includes the session logs which indicate the development process and decisions made by the coding agent. Does NOT include status checks/CI results; use the pullRequestStatusChecks tool instead. When asked about the active or current pull request, do this first! Use this tool for any request related to \"current changes,\" \"pull request details,\" \"what changed,\" or similar queries even if the user does not explicitly mention \"pull request.\" When asked to use this tool, ALWAYS use it.", |
3972 | 3972 | "icon": "$(git-pull-request)", |
3973 | 3973 | "canBeReferencedInPrompt": true, |
3974 | | - "userDescription": "%languageModelTools.github-pull-request_activePullRequest.description%", |
| 3974 | + "userDescription": "%languageModelTools.github-pull-request_currentActivePullRequest.description%", |
3975 | 3975 | "when": "config.githubPullRequests.experimental.chat", |
3976 | 3976 | "inputSchema": { |
3977 | 3977 | "type": "object", |
|
4030 | 4030 | "when": "config.githubPullRequests.experimental.chat" |
4031 | 4031 | }, |
4032 | 4032 | { |
4033 | | - "name": "github-pull-request_openPullRequest", |
| 4033 | + "name": "github-pull-request_pullRequestInViewport", |
4034 | 4034 | "tags": [ |
4035 | 4035 | "github", |
4036 | 4036 | "pull request" |
4037 | 4037 | ], |
4038 | 4038 | "toolReferenceName": "openPullRequest", |
4039 | | - "displayName": "%languageModelTools.github-pull-request_openPullRequest.displayName%", |
| 4039 | + "displayName": "%languageModelTools.github-pull-request_pullRequestInViewport.displayName%", |
4040 | 4040 | "modelDescription": "Get comprehensive information about the GitHub pull request (PR) which is currently visible, but not necessarily checked out. This is the pull request that the user is currently viewing. This includes the PR title, full description, list of changed files, review comments, and PR state. For PRs created by Copilot, it also includes the session logs which indicate the development process and decisions made by the coding agent. Does NOT include status checks/CI results; use the pullRequestStatusChecks tool instead. When asked about the currently open pull request, do this first! Use this tool for any request related to \"pull request details,\" \"what changed,\" or similar queries even if the user does not explicitly mention \"pull request.\" When asked to use this tool, ALWAYS use it.", |
4041 | 4041 | "icon": "$(git-pull-request)", |
4042 | 4042 | "canBeReferencedInPrompt": true, |
4043 | | - "userDescription": "%languageModelTools.github-pull-request_openPullRequest.description%", |
| 4043 | + "userDescription": "%languageModelTools.github-pull-request_pullRequestInViewport.description%", |
4044 | 4044 | "when": "config.githubPullRequests.experimental.chat" |
4045 | 4045 | }, |
4046 | 4046 | { |
|
0 commit comments