fix: use GITHUB_TOKEN for PR checkouts, reserve COMMAND_BOT_PAT for push only#14359
Merged
fix: use GITHUB_TOKEN for PR checkouts, reserve COMMAND_BOT_PAT for push only#14359
Commits
Commits on Apr 16, 2026
- authored
- andauthored