Add PAT scope filtering for stdio server - #1741

Merged

SamMorrowDrums merged 13 commits into

mainfrom

copilot/pat-scope-filtering

Jan 5, 2026

Commits on Jan 5, 2026

Add PAT scope filtering for stdio server
SamMorrowDrums
committed
b40df1f
Enable scope filtering by default
SamMorrowDrums
committed
e3548f1
Make scope filtering always enabled (remove flag)
SamMorrowDrums
committed
7bf3cdb
Only check scopes for classic PATs (ghp_ prefix)
SamMorrowDrums
committed
f1b9f90
Remove manual scope-to-tools table from docs
SamMorrowDrums
committed
4b13f17
Update pkg/scopes/filter.go
SamMorrowDrums
and
Copilot
committed
dbd1a20
Document that GitHub App and server-to-server tokens are not filtered
SamMorrowDrums
committed
f8b698c
Add tip about editing PAT scopes in GitHub UI
SamMorrowDrums
committed
49fd7c6
Remove empty filter.go and document OAuth scope challenges
SamMorrowDrums
committed
d65bd5b
Fix server-configuration.md scope filtering description
SamMorrowDrums
committed
e71bd31
Mention OAuth scope challenges in server-configuration.md
SamMorrowDrums
committed
78f2549
Don't filter read-only repo tools (work on public repos without scope)
SamMorrowDrums
committed
3397e96
Document public repo access quirk for read-only tools
SamMorrowDrums
committed
9bf0cf5