Skip to content

chore: use OPENHANDS_BOT_GITHUB_PAT_PUBLIC in sync workflows#473

Merged
all-hands-bot merged 2 commits into
mainfrom
chore/use-openhands-bot-github-pat-public
Apr 23, 2026
Merged

chore: use OPENHANDS_BOT_GITHUB_PAT_PUBLIC in sync workflows#473
all-hands-bot merged 2 commits into
mainfrom
chore/use-openhands-bot-github-pat-public