Recommend GitHub App token for CI to trigger on upstack PRs#27
Merged
Phlogistique merged 4 commits intomainfrom Feb 10, 2026
Merged
Recommend GitHub App token for CI to trigger on upstack PRs#27Phlogistique merged 4 commits intomainfrom
Phlogistique merged 4 commits intomainfrom
Conversation
Pushes made with the default GITHUB_TOKEN don't trigger workflow runs (GitHub's infinite-loop prevention). This means CI never runs on upstack PRs after autorestack pushes the synthetic merge commit, so they can't become mergeable if branch protection requires status checks. The setup instructions now walk users through creating a GitHub App and using actions/create-github-app-token to get an installation token. The old GITHUB_TOKEN approach is preserved in a collapsed section for repos that don't need CI on upstack PRs. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
…ript Dogfood the same approach we recommend to users. Removes the uv dependency from CI. The Python script stays for local dev use via run-e2e-tests.sh. The secret changes from GH_APP_PRIVATE_KEY_PEM_B64 (base64-encoded) to GH_APP_PRIVATE_KEY (raw PEM) — needs a corresponding update in the repo settings. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Phlogistique
force-pushed
the
docs-github-app-token
branch
from
5ad0c83 to
d075904
Compare
Phlogistique
force-pushed
the
docs-github-app-token
branch
from
d075904 to
8f1490b
Compare
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
1 participant
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.
Pushes made with
GITHUB_TOKENdon't trigger workflow runs (GitHub'sinfinite-loop prevention), so CI never runs on upstack PRs after
autorestack pushes the synthetic merge commit — they can't become
mergeable if branch protection requires status checks.
The setup instructions now walk through creating a GitHub App and using
actions/create-github-app-tokento get an installation token. The oldGITHUB_TOKENapproach is kept in a collapsed<details>for reposthat don't need CI on upstack PRs.