fix: tools.github: false does not override tools.github.* from shared imports#26323

Merged

pelikhan merged 6 commits intomainfrom

copilot/fix-tools-github-override

Apr 15, 2026

Commits on Apr 14, 2026

Initial plan
Copilot
authored
fix: tools.github: false now overrides tools.github.* from shared imports

Copilot
and
pelikhan
authored
docs(adr): add draft ADR-26323 for tools config base-wins merge semantics

github-actions[bot]
and
claude
authored

Commits on Apr 15, 2026

fix: base map wins in allowed-array merge path; strengthen GitHub MCP test assertions

Copilot
and
pelikhan
authored
test: add unit and e2e tests for bash:true, cache-memory key, and github:false merge precedence

Copilot
and
pelikhan
authored
refactor: improve test function names per code review feedback

Copilot
and
pelikhan
authored