Skip to content

ci: use GitHub App token for auto-merge workflow#136

Merged
peter-svensson merged 2 commits into
mainfrom
chore/automerge-app-token
May 7, 2026
Merged

ci: use GitHub App token for auto-merge workflow#136
peter-svensson merged 2 commits into
mainfrom
chore/automerge-app-token

Conversation

@peter-svensson
Copy link
Copy Markdown
Member

Summary

  • Replace expired PR_GITHUB_TOKEN PAT with actions/create-github-app-token@v3
  • Aligns with auto-merge workflow used by other opzkit modules
  • Fixes 401 Bad credentials in run 24833208935

Prereqs

  • vars.AUTO_MERGE_APP_ID and secrets.AUTO_MERGE_PRIVATE_KEY must be available (org-level)
  • GitHub App must be installed on this repo with PR + contents write

Test plan

  • Auto-merge job succeeds on this PR
  • Delete unused PR_GITHUB_TOKEN secret after merge

Replace expired PR_GITHUB_TOKEN PAT with create-github-app-token,
matching pattern used by other opzkit modules.
@peter-svensson peter-svensson disabled auto-merge May 7, 2026 07:16
@peter-svensson peter-svensson merged commit fd08fa4 into main May 7, 2026
8 of 9 checks passed
@peter-svensson peter-svensson deleted the chore/automerge-app-token branch May 7, 2026 07:16
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.

1 participant