Skip to content

Token optimization: scope glossary-maintainer toolsets and pre-fetch git history#25228

Merged
pelikhan merged 3 commits intomainfrom
copilot/optimize-glossary-maintainer-token-usage
Apr 8, 2026
Merged

Token optimization: scope glossary-maintainer toolsets and pre-fetch git history#25228
pelikhan merged 3 commits intomainfrom
copilot/optimize-glossary-maintainer-token-usage

Commits

Commits on Apr 8, 2026