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
Conversation
Standardises on the org-wide PAT_TOKEN secret name. Part of OpenHands/evaluation#428. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Contributor
all-hands-bot
left a comment
all-hands-bot
left a comment
There was a problem hiding this comment.
🟡 Acceptable - Simple mechanical rename, but needs verification before merge.
| # review-style: roasted | ||
| llm-api-key: ${{ secrets.LLM_API_KEY }} | ||
| github-token: ${{ secrets.ALLHANDS_BOT_GITHUB_PAT }} | ||
| github-token: ${{ secrets.PAT_TOKEN }} |
Contributor
There was a problem hiding this comment.
🟠 Important: Verify that the PAT_TOKEN secret exists in this repository's settings before merging.
This change will break the PR review workflow if the secret hasn't been created yet. Recommend:
- Check repository secrets:
gh secret list --repo OpenHands/docs - Confirm
PAT_TOKENexists with the same value/permissions as the oldALLHANDS_BOT_GITHUB_PAT - Consider testing this workflow on a test PR before merging
If the secret doesn't exist, this is a breaking change that will cause silent workflow failures.
|
Preview deployment for your docs. Learn more about Mintlify Previews.
💡 Tip: Enable Workflows to automatically generate PRs for you. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Renames `ALLHANDS_BOT_GITHUB_PAT` → `PAT_TOKEN` in workflow files to standardise on the org-wide `PAT_TOKEN` secret name.
This is a mechanical rename only — no behaviour changes. Part of OpenHands/evaluation#428 (PAT_TOKEN blast radius reduction).
🤖 Generated with Claude Code