Skip to content

Add missing friendly names for 14 tools#323

Merged
rajbos merged 2 commits into
mainfrom
copilot/add-friendly-names-for-tools
Mar 1, 2026
Merged

Add missing friendly names for 14 tools#323
rajbos merged 2 commits into
mainfrom
copilot/add-friendly-names-for-tools

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 1, 2026

Several detected tools lacked friendly display names in src/toolNames.json, causing them to render as raw identifiers in the UI.

Added mappings for all 14 unknown tools:

  • Coding agents: bash, claude-code, copilot-cloud-agent, copilotcli
  • VS Code internals: github.copilot.default, github.copilot.workspace, vscode_editFile_internal, vscode_fetchWebPage_internal
  • File/search: glob, grep, read, write
  • Other: kill_terminal, webfetch
Original prompt

This section details on the original issue you should resolve

<issue_title>Add missing friendly names for tools</issue_title>
<issue_description>## Unknown Tools Found

The following tools were detected but don't have friendly display names:

  • bash
  • claude-code
  • copilot-cloud-agent
  • copilotcli
  • github.copilot.default
  • github.copilot.workspace
  • glob
  • grep
  • kill_terminal
  • read
  • vscode_editFile_internal
  • vscode_fetchWebPage_internal
  • webfetch
  • write

Please add friendly names for these tools to improve the user experience.</issue_description>

Comments on the Issue (you are @copilot in this section)


🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

Co-authored-by: rajbos <6085745+rajbos@users.noreply.github.com>
Copilot AI changed the title [WIP] Add missing friendly names for tools Add missing friendly names for 14 tools Mar 1, 2026
@rajbos rajbos marked this pull request as ready for review March 1, 2026 13:37
@rajbos rajbos enabled auto-merge March 1, 2026 13:37
@rajbos rajbos disabled auto-merge March 1, 2026 13:37
@rajbos rajbos merged commit 83f2cd5 into main Mar 1, 2026
@rajbos rajbos deleted the copilot/add-friendly-names-for-tools branch March 1, 2026 13:37
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.

Add missing friendly names for tools

2 participants