chore: rename ALLHANDS_BOT_GITHUB_PAT to PAT_TOKEN#463
Open
simonrosenberg wants to merge 1 commit intomainfrom
Open
chore: rename ALLHANDS_BOT_GITHUB_PAT to PAT_TOKEN#463simonrosenberg wants to merge 1 commit intomainfrom
simonrosenberg wants to merge 1 commit intomainfrom
Commits
Commits on Apr 20, 2026
- andcommitted
