Skip to content

ci: author the release PR with RELEASE_PR_TOKEN; delete the release branch after publish - #8

Merged
GirlBossRush merged 1 commit into
mainfrom
ci/release-pr-token
Aug 30, 2026
Merged

ci: author the release PR with RELEASE_PR_TOKEN; delete the release branch after publish#8
GirlBossRush merged 1 commit into
mainfrom
ci/release-pr-token

Conversation

@GirlBossRush

Copy link
Copy Markdown
Member

A PR opened with GITHUB_TOKEN gets its pull_request Test run held at
action_required, and a held run is a pending required check, so the 6.4.1
release PR only merged after a manual approval. With the fine-grained PAT
the PR is human-authored and its run fires unheld. Falls back to the old
dispatch path with a warning when the secret is absent.

Also deletes release/v in the publish phase, since
delete_branch_on_merge does not fire for app-performed merges.

…ranch after publish

A PR opened with GITHUB_TOKEN gets its pull_request Test run held at
action_required, and a held run is a pending required check, so the 6.4.1
release PR only merged after a manual approval. With the fine-grained PAT
the PR is human-authored and its run fires unheld. Falls back to the old
dispatch path with a warning when the secret is absent.

Also deletes release/v<version> in the publish phase, since
delete_branch_on_merge does not fire for app-performed merges.
@GirlBossRush
GirlBossRush enabled auto-merge (squash) August 30, 2026 22:58
@GirlBossRush
GirlBossRush merged commit dd8bc57 into main Aug 30, 2026
1 check passed
@GirlBossRush
GirlBossRush deleted the ci/release-pr-token branch August 30, 2026 22:59
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