|
3935 | 3935 | ], |
3936 | 3936 | "toolReferenceName": "activePullRequest", |
3937 | 3937 | "displayName": "%languageModelTools.github-pull-request_activePullRequest.displayName%", |
3938 | | - "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, PR state, and status checks/CI results. For PRs created by Copilot, it also includes the session logs which indicate the development process and decisions made by the coding agent. 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,\" \"PR status,\" or similar queries even if the user does not explicitly mention \"pull request.\" When asked to use this tool, ALWAYS use it.", |
| 3938 | + "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.", |
3939 | 3939 | "icon": "$(git-pull-request)", |
3940 | 3940 | "canBeReferencedInPrompt": true, |
3941 | 3941 | "userDescription": "%languageModelTools.github-pull-request_activePullRequest.description%", |
3942 | 3942 | "when": "config.githubPullRequests.experimental.chat" |
3943 | 3943 | }, |
| 3944 | + { |
| 3945 | + "name": "github-pull-request_pullRequestStatusChecks", |
| 3946 | + "tags": [ |
| 3947 | + "github", |
| 3948 | + "pull request", |
| 3949 | + "ci", |
| 3950 | + "status checks" |
| 3951 | + ], |
| 3952 | + "toolReferenceName": "pullRequestStatusChecks", |
| 3953 | + "displayName": "%languageModelTools.github-pull-request_pullRequestStatusChecks.displayName%", |
| 3954 | + "modelDescription": "Get the status checks and CI failures for a GitHub pull request (PR). This includes check run statuses, workflow names, failure logs, and review requirements (approvals needed, current approvals, requested changes). Use this tool when the user asks about CI status/failures, build results, check runs, status checks, whether a PR is ready to merge, or similar queries. Requires a pull request number.", |
| 3955 | + "icon": "$(check-all)", |
| 3956 | + "canBeReferencedInPrompt": true, |
| 3957 | + "inputSchema": { |
| 3958 | + "type": "object", |
| 3959 | + "properties": { |
| 3960 | + "repo": { |
| 3961 | + "type": "object", |
| 3962 | + "description": "The repository to get the pull request status checks from.", |
| 3963 | + "properties": { |
| 3964 | + "owner": { |
| 3965 | + "type": "string", |
| 3966 | + "description": "The owner of the repository." |
| 3967 | + }, |
| 3968 | + "name": { |
| 3969 | + "type": "string", |
| 3970 | + "description": "The name of the repository." |
| 3971 | + } |
| 3972 | + }, |
| 3973 | + "required": [ |
| 3974 | + "owner", |
| 3975 | + "name" |
| 3976 | + ] |
| 3977 | + }, |
| 3978 | + "pullRequestNumber": { |
| 3979 | + "type": "number", |
| 3980 | + "description": "The number of the pull request to get status checks for." |
| 3981 | + } |
| 3982 | + }, |
| 3983 | + "required": [ |
| 3984 | + "pullRequestNumber" |
| 3985 | + ] |
| 3986 | + }, |
| 3987 | + "userDescription": "%languageModelTools.github-pull-request_pullRequestStatusChecks.description%", |
| 3988 | + "when": "config.githubPullRequests.experimental.chat" |
| 3989 | + }, |
3944 | 3990 | { |
3945 | 3991 | "name": "github-pull-request_openPullRequest", |
3946 | 3992 | "tags": [ |
|
3949 | 3995 | ], |
3950 | 3996 | "toolReferenceName": "openPullRequest", |
3951 | 3997 | "displayName": "%languageModelTools.github-pull-request_openPullRequest.displayName%", |
3952 | | - "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, PR state, and status checks/CI results. For PRs created by Copilot, it also includes the session logs which indicate the development process and decisions made by the coding agent. When asked about the currently open pull request, do this first! Use this tool for any request related to \"pull request details,\" \"what changed,\" \"PR status,\" or similar queries even if the user does not explicitly mention \"pull request.\" When asked to use this tool, ALWAYS use it.", |
| 3998 | + "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.", |
3953 | 3999 | "icon": "$(git-pull-request)", |
3954 | 4000 | "canBeReferencedInPrompt": true, |
3955 | 4001 | "userDescription": "%languageModelTools.github-pull-request_openPullRequest.description%", |
|
4075 | 4121 | "js-yaml": "^4.1.1", |
4076 | 4122 | "jsonc-parser": "^3.3.1", |
4077 | 4123 | "lru-cache": "6.0.0", |
4078 | | - "markdown-it": "^14.1.0", |
| 4124 | + "markdown-it": "^14.1.1", |
4079 | 4125 | "marked": "^4.0.10", |
4080 | 4126 | "react": "^16.12.0", |
4081 | 4127 | "react-dom": "^16.12.0", |
|
0 commit comments