Skip to content

Add missing friendly names for click_element, mcp_github_pull_request_read, mcp_microsoftdocs_microsoft_docs_search, type_in_page#614

Merged
rajbos merged 3 commits intomainfrom
copilot/add-friendly-names-for-tools
Apr 17, 2026
Merged

Add missing friendly names for click_element, mcp_github_pull_request_read, mcp_microsoftdocs_microsoft_docs_search, type_in_page#614
rajbos merged 3 commits intomainfrom
copilot/add-friendly-names-for-tools

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Apr 17, 2026

Four tool IDs detected in session logs lacked friendly display names, causing them to appear as raw identifiers in the Usage Analysis view.

Changes

  • toolNames.json: Added four entries following existing naming conventions:
    • click_element"Click Element" (grouped with browser page tools: navigate_page, read_page, etc.)
    • type_in_page"Type in Page" (same group)
    • mcp_github_pull_request_read"GitHub MCP (Remote): Pull Request Read" (grouped with mcp_github_* entries)
    • mcp_microsoftdocs_microsoft_docs_search"Microsoft Docs MCP: Docs Search" (alongside existing mcp_microsoft_doc_microsoft_docs_search variant)

Copilot AI linked an issue Apr 17, 2026 that may be closed by this pull request
…request_read, mcp_microsoftdocs_microsoft_docs_search, type_in_page

Agent-Logs-Url: https://github.com/rajbos/github-copilot-token-usage/sessions/f642eba7-5a37-4637-a99c-44bbb11b723d

Co-authored-by: FokkoVeegens <24793348+FokkoVeegens@users.noreply.github.com>
Copilot AI changed the title [WIP] Add missing friendly names for tools Add missing friendly names for click_element, mcp_github_pull_request_read, mcp_microsoftdocs_microsoft_docs_search, type_in_page Apr 17, 2026
Copilot AI requested a review from FokkoVeegens April 17, 2026 06:24
- Added the read tools so it can read files to determine the right actions
- Added the MS Docs MCP prefix
@FokkoVeegens FokkoVeegens marked this pull request as ready for review April 17, 2026 07:54
@FokkoVeegens FokkoVeegens requested a review from rajbos April 17, 2026 07:54
@rajbos rajbos merged commit eeaf711 into main Apr 17, 2026
17 checks passed
@rajbos rajbos deleted the copilot/add-friendly-names-for-tools branch April 17, 2026 13:24
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

3 participants