Repository navigation

Add missing GitHub permissions to workflows using GitHub API toolsets - #10020

Merged

pelikhan merged 4 commits into

mainfrom

copilot/add-missing-github-permissions

Jan 15, 2026

Commits on Jan 15, 2026
- Initial plan
  Copilot
  committed
  78a9a20
- Initial plan: Add missing GitHub permissions to 3 affected workflows
  
  Copilot
  and
  mnkiefer
  committed
  de92879
- Add missing GitHub permissions to 3 workflows
  
  Copilot
  and
  mnkiefer
  committed
  50058ca
- Task complete: Added missing GitHub permissions
  
  Copilot
  and
  mnkiefer
  committed
  e5dd1c2