Skip to content

chore: sync toolNames.json with vscode-copilot-chat#235

Merged
rajbos merged 2 commits intomainfrom
sync-toolnames
Feb 16, 2026
Merged

chore: sync toolNames.json with vscode-copilot-chat#235
rajbos merged 2 commits intomainfrom
sync-toolnames

Conversation

@github-actions
Copy link

This pull request updates src/toolNames.json with new tool identifiers
found in the microsoft/vscode-copilot-chat repository.

Source Repository: microsoft/vscode-copilot-chat
Source File: src/extension/tools/common/toolNames.ts

The changes were automatically generated by scanning the upstream repository
and comparing tool IDs with our existing mapping.

Please review the new entries to ensure the friendly names are appropriate.

Base automatically changed from copilot/update-toolnames-json to main February 16, 2026 18:19
@rajbos rajbos enabled auto-merge February 16, 2026 18:21
This commit automatically updates src/toolNames.json with new tool
identifiers from microsoft/vscode-copilot-chat repository.

Source: microsoft/vscode-copilot-chat
File: src/extension/tools/common/toolNames.ts
auto-merge was automatically disabled February 16, 2026 18:22

Head branch was modified

@rajbos rajbos enabled auto-merge February 16, 2026 18:55
@rajbos rajbos merged commit 227a7c7 into main Feb 16, 2026
14 checks passed
@rajbos rajbos deleted the sync-toolnames branch February 16, 2026 18:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments