Bot PR authors are app/<slug> in gh output - #12
Merged
Conversation
The full-cycle exercise in basecamp-sdk tripped the (correctly fail-closed) repair-PR re-verification: gh pr list reports the GITHUB_TOKEN-created PR's author as app/github-actions, not github-actions — the same app/<slug> convention the old in-PR gate documented for app/dependabot. Auto-merge was refused and held runs left unapproved, exactly as designed; fix the constant in both checks.
There was a problem hiding this comment.
Pull request overview
Updates the dependabot sync/re-verification workflow to correctly recognize GitHub Actions–created repair PRs when gh pr list --json author reports the PR author as app/<slug> (specifically app/github-actions), ensuring the ownership gate and auto-merge arming logic behave as intended for bot-created PRs.
Changes:
- Adjust the “existing repair PR ownership” check to require
author.login == app/github-actions. - Adjust the “re-verify PR row before arming auto-merge” check to require
author.login == app/github-actions.
Tip
If you aren't ready for review, convert to a draft PR.
Click "Convert to draft" or run gh pr ready --undo.
Click "Ready for review" or run gh pr ready to reengage.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
This was referenced Jul 27, 2026
jeremy
added a commit
to basecamp/basecamp-sdk
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the re-verification correctly refused auto-merge on the exercise's repair PR. This merge's own push is the next exercise trigger.
jeremy
added a commit
to basecamp/basecamp-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/hey-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/fizzy-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/openclaw-basecamp
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/basecamp-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/hey-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/fizzy-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/openclaw-basecamp
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/basecamp-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/hey-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/fizzy-cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/cli
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
jeremy
added a commit
to basecamp/openclaw-basecamp
that referenced
this pull request
Jul 27, 2026
basecamp/.github#12: gh reports bot PR creators as app/github-actions; the fail-closed re-verification refused auto-merge on the exercise's repair PR in basecamp-sdk. Workflow remains disabled in this repo until its rollout turn.
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
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.
The basecamp-sdk full-cycle exercise tripped the repair-PR re-verification (fail-closed, as designed — run 30308416366 refused to arm auto-merge and left held runs unapproved):
gh pr listreports the GITHUB_TOKEN-created PR's author asapp/github-actions, notgithub-actions— the sameapp/<slug>convention the old in-PR gate documented forapp/dependabot. Fixes the constant in both the pre-push ownership check and the pre-auto-merge re-verification. The exercise resumes on the re-pinned caller; the existing repair PR basecamp-sdk#466 gets adopted by the next run.