Repository navigation

feat: formal GITHUB_TOKEN permission and PR-trigger semantics from pinned GitHub Docs - #512

Merged

4444J99 merged 2 commits into

mainfrom

github-standards-r7-20261114

Nov 14, 2026

Merged

feat: formal GITHUB_TOKEN permission and PR-trigger semantics from pinned GitHub Docs#512
4444J99 merged 2 commits into
mainfrom
github-standards-r7-20261114

Commits on Nov 14, 2026
- feat: formal GITHUB_TOKEN permission and PR-trigger semantics from pinned GitHub Docs
  
  4444J99
  and
  claude
  committed
  b779a9a
- fix: address review findings on token semantics (fork secrets by trigger, merged-closure ref, version applicability)
  
  4444J99
  and
  claude
  committed
  35c9954