[WIP] Fix GitHub search tool returning zero matching issues - #8938

Draft

Alex Ross (alexr00) with Copilot wants to merge 5 commits into

mainfrom

copilot/fix-github-search-tool-issue

Commits on Sep 7, 2026

Initial plan
Copilot
authored
483b905
Scope issue search to explicit repository

Copilot
and
Alex Ross (alexr00)
authored
7157837
Handle quoted repository search qualifiers

Copilot
and
Alex Ross (alexr00)
authored
6e339d7
Constrain Boolean searches to explicit repository

Copilot
and
Alex Ross (alexr00)
authored
200e79a
Resolve search repository exactly

Copilot
and
Alex Ross (alexr00)
authored
8a971f9