Skip to content

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
Merged

chore: rename ALLHANDS_BOT_TOKEN to PAT_TOKEN#462
all-hands-bot merged 2 commits into
mainfrom
chore/rename-allhands-bot-token-to-github-pat

Conversation

@simonrosenberg
Copy link
Copy Markdown
Collaborator

@simonrosenberg simonrosenberg commented Apr 20, 2026

Summary

  • Renames ALLHANDS_BOT_TOKENPAT_TOKEN in sync-agent-sdk-openapi.yml and sync-docs-code-blocks.yml
  • Both workflows use the secret to auto-approve and auto-merge sync PRs in this repo
  • Standardises on the org-wide PAT_TOKEN secret — no separate ALLHANDS_BOT_TOKEN secret needed in this repo
  • PAT_TOKEN is an organization-wide secret with enough permissions to run those workflows. This has been validated.

Standardises on the org-wide secret name ALLHANDS_BOT_GITHUB_PAT so
that a single secret covers both the pr-review and the sync-doc workflows,
removing the need for a separate ALLHANDS_BOT_TOKEN secret in this repo.

Part of OpenHands/evaluation#428 (PAT_TOKEN blast radius reduction).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@mintlify
Copy link
Copy Markdown

mintlify Bot commented Apr 20, 2026

Preview deployment for your docs. Learn more about Mintlify Previews.

Project Status Preview Updated (UTC)
all-hands-ai 🟢 Ready View Preview Apr 20, 2026, 5:11 PM

💡 Tip: Enable Workflows to automatically generate PRs for you.

Copy link
Copy Markdown
Contributor

@all-hands-bot all-hands-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Good taste - Clean refactoring for standardizing secret names across the org. One deployment note below.

# github-actions[bot], so a different identity (all-hands-bot) can approve it.
- name: Auto-approve PR
if: steps.cpr.outputs.pull-request-url && secrets.ALLHANDS_BOT_TOKEN != ''
if: steps.cpr.outputs.pull-request-url && secrets.ALLHANDS_BOT_GITHUB_PAT != ''
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟡 Suggestion: Consider adding a workflow validation step or branch protection rule to verify the new secret exists before allowing merge.

If ALLHANDS_BOT_GITHUB_PAT isn't configured when this merges, the auto-approve and auto-merge steps will silently skip (the if condition evaluates to false). While the PR description mentions setting this "before merging," there's no enforcement mechanism.

Options:

  1. Add a dedicated workflow step that fails if the secret is empty (forces manual verification)
  2. Document the deployment order in a checklist in the PR description
  3. Accept the risk (workflows gracefully degrade; easy to fix post-merge)

Given the limited blast radius (only affects auto-merge of sync PRs) and clear documentation in the PR, option 3 is pragmatic.

Standardises on the org-wide PAT_TOKEN secret name so a single secret
covers all bot workflows — no separate ALLHANDS_BOT_TOKEN needed.

Part of OpenHands/evaluation#428 (PAT_TOKEN blast radius reduction).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
@simonrosenberg simonrosenberg changed the title chore: rename ALLHANDS_BOT_TOKEN to ALLHANDS_BOT_GITHUB_PAT chore: rename ALLHANDS_BOT_TOKEN to PAT_TOKEN Apr 20, 2026
@all-hands-bot all-hands-bot self-requested a review April 20, 2026 17:24
Copy link
Copy Markdown
Contributor

@all-hands-bot all-hands-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Good taste - Clean, consistent rename across both workflows. Low risk.

@all-hands-bot all-hands-bot self-requested a review April 20, 2026 17:26
Copy link
Copy Markdown
Contributor

@all-hands-bot all-hands-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Good taste - Clean, consistent rename. Low risk.

[RISK ASSESSMENT]

  • [Overall PR] ⚠️ Risk Assessment: 🟡 MEDIUM

Configuration change affecting automated workflows. If PAT_TOKEN secret is missing, auto-approve/auto-merge will silently skip (workflows won't fail, but sync PRs won't auto-merge). PR description confirms the org-wide secret has been validated. The conditional checks (if: secrets.PAT_TOKEN != '') provide appropriate safeguards.

VERDICT:
Worth merging: Standard refactoring, properly guarded with conditionals.

KEY INSIGHT:
Simple configuration standardization with appropriate fail-safe behavior - workflows degrade gracefully if secret is misconfigured.

@all-hands-bot all-hands-bot merged commit d746b0e into main Apr 20, 2026
7 checks passed
@all-hands-bot all-hands-bot deleted the chore/rename-allhands-bot-token-to-github-pat branch April 20, 2026 17:29
@all-hands-bot all-hands-bot self-assigned this Apr 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants