⚠ This page is served via a proxy. Original site: https://github.com
This service does not collect credentials or authentication data.
Skip to content

Fix docs automation to use toolset IDs instead of display names#1780

Merged
SamMorrowDrums merged 2 commits intomainfrom
copilot/update-automation-docs-names
Jan 12, 2026
Merged

Fix docs automation to use toolset IDs instead of display names#1780
SamMorrowDrums merged 2 commits intomainfrom
copilot/update-automation-docs-names

Commits

Commits on Jan 10, 2026