Skip to content

Rename toolset to toolsets in GitHub tool configuration#2648

Merged
pelikhan merged 2 commits into
mainfrom
copilot/rename-toolset-to-toolsets
Oct 28, 2025
Merged

Rename toolset to toolsets in GitHub tool configuration#2648
pelikhan merged 2 commits into
mainfrom
copilot/rename-toolset-to-toolsets

Commits

Commits on Oct 28, 2025