Skip to content

More descriptive tool names#8650

Merged
alexr00 merged 1 commit intomainfrom
alexr00/related-leopard
Apr 8, 2026
Merged

More descriptive tool names#8650
alexr00 merged 1 commit intomainfrom
alexr00/related-leopard

Conversation

@alexr00
Copy link
Copy Markdown
Member

@alexr00 alexr00 commented Apr 8, 2026

No description provided.

@alexr00 alexr00 enabled auto-merge (squash) April 8, 2026 09:30
Copilot AI review requested due to automatic review settings April 8, 2026 09:30
@alexr00 alexr00 self-assigned this Apr 8, 2026
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR renames two GitHub Pull Request language model tool IDs to be more descriptive, updating the corresponding extension contributions and documentation so the new tool names are used consistently.

Changes:

  • Renamed the “active pull request” tool ID to github-pull-request_currentActivePullRequest.
  • Renamed the “open/visible pull request” tool ID to github-pull-request_pullRequestInViewport.
  • Updated skill documentation and localization keys to match the new tool IDs.
Show a summary per file
File Description
src/lm/tools/openPullRequestTool.ts Updates the tool ID constant to the new “viewport” name.
src/lm/tools/activePullRequestTool.ts Updates the tool ID constant to the new “current active” name.
src/lm/skills/address-pr-comments/SKILL.md Updates the referenced tool name in skill instructions.
package.nls.json Renames the LM tool localization keys to align with new IDs.
package.json Renames contributed LM tool name + corresponding localization key references.

Copilot's findings

Comments suppressed due to low confidence (1)

package.json:4043

  • The tool ID rename here (github-pull-request_openPullRequest -> github-pull-request_pullRequestInViewport) removes the old contributed tool name. If any prompts/skills/users still reference the old ID, they will break. Consider contributing a deprecated alias for the previous name (alongside the new name) and/or registering both IDs in code during a transition period.
				"name": "github-pull-request_pullRequestInViewport",
				"tags": [
					"github",
					"pull request"
				],
				"toolReferenceName": "openPullRequest",
				"displayName": "%languageModelTools.github-pull-request_pullRequestInViewport.displayName%",
				"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.",
				"icon": "$(git-pull-request)",
				"canBeReferencedInPrompt": true,
				"userDescription": "%languageModelTools.github-pull-request_pullRequestInViewport.description%",
  • Files reviewed: 5/5 changed files
  • Comments generated: 1

Comment on lines +3964 to +3974
"name": "github-pull-request_currentActivePullRequest",
"tags": [
"github",
"pull request"
],
"toolReferenceName": "activePullRequest",
"displayName": "%languageModelTools.github-pull-request_activePullRequest.displayName%",
"displayName": "%languageModelTools.github-pull-request_currentActivePullRequest.displayName%",
"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.",
"icon": "$(git-pull-request)",
"canBeReferencedInPrompt": true,
"userDescription": "%languageModelTools.github-pull-request_activePullRequest.description%",
"userDescription": "%languageModelTools.github-pull-request_currentActivePullRequest.description%",
Copy link

Copilot AI Apr 8, 2026

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Renaming the contributed language model tool name values is a breaking change for any existing prompts/skills/users that reference the previous tool IDs (github-pull-request_activePullRequest / github-pull-request_openPullRequest). Since the old IDs are removed from package.json, those references will stop resolving. Consider adding deprecated aliases (keep the old name entries alongside the new ones, or register both IDs in code and continue contributing the old IDs for at least one release) to preserve backward compatibility, and optionally document the deprecation timeline.

This issue also appears on line 4033 of the same file.

Copilot uses AI. Check for mistakes.
@alexr00 alexr00 merged commit d734150 into main Apr 8, 2026
10 checks passed
@alexr00 alexr00 deleted the alexr00/related-leopard branch April 8, 2026 09:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants