chore: rename ALLHANDS_BOT_TOKEN to PAT_TOKEN#462

Merged

all-hands-bot merged 2 commits into

mainfrom

chore/rename-allhands-bot-token-to-github-pat

Apr 20, 2026

Commits on Apr 20, 2026

chore: rename ALLHANDS_BOT_TOKEN secret to ALLHANDS_BOT_GITHUB_PAT

Debug Agent
and
claude
committed
chore: rename ALLHANDS_BOT_TOKEN secret to PAT_TOKEN

Debug Agent
and
claude
committed