Skip to content

ci: create pre-commit autoupdate PRs with a GitHub App token#1209

Merged
markuslf merged 1 commit into
mainfrom
chore/pre-commit-app-token
May 29, 2026
Merged

ci: create pre-commit autoupdate PRs with a GitHub App token#1209
markuslf merged 1 commit into
mainfrom
chore/pre-commit-app-token

Conversation

@markuslf
Copy link
Copy Markdown
Member

Use a GitHub App token (actions/create-github-app-token) for checkout and create-pull-request instead of the default GITHUB_TOKEN.

PRs opened with GITHUB_TOKEN do not trigger pull_request workflows (GitHub recursion guard), so the required CodeQL and dependency-review checks never ran and the weekly hook-update PRs stayed permanently blocked. With an App token the PRs trigger CI and become mergeable automatically.

Requires org variable LF_AUTOMATION_APP_ID and org secret LF_AUTOMATION_APP_PRIVATE_KEY (both set), App installed org-wide.

Use a GitHub App token (actions/create-github-app-token) for checkout
and create-pull-request instead of the default GITHUB_TOKEN. PRs opened
with GITHUB_TOKEN do not trigger pull_request workflows, so the required
CodeQL and dependency-review checks never ran and the PRs stayed blocked.
With an App token the PRs trigger CI and become mergeable automatically.
@markuslf markuslf merged commit 4f16e91 into main May 29, 2026
6 checks passed
@markuslf markuslf deleted the chore/pre-commit-app-token branch May 29, 2026 12:01
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