feat: Auto-exclude built-in tools overridden by user-registered tools#523

Copilot wants to merge 8 commits intomaingithub/copilot-sdk:mainfrom

copilot/review-code-changesgithub/copilot-sdk:copilot/review-code-changesCopy head branch name to clipboard