Skip to content

graft-mirror: pr-batch never adopts a batch PR or branch it did not create (WI-2585) - #261

Merged
thedancingdeveloper merged 2 commits into
mainfrom
wi-2585-batch-adoption
Oct 26, 2026
Merged

thedancingdeveloper merged 2 commits into
mainfrom
wi-2585-batch-adoption

Conversation

@thedancingdeveloper

Copy link
Copy Markdown
Contributor

p1 defect WI-2585: pr-batch adopted old trial PR #143 by head name and marked 2 new lands as merged. Adds a regression test and a repair runbook. Author: Opus worker.

🤖 Generated with Claude Code

thedancingdeveloper and others added 2 commits October 26, 2026 13:32
…numbers (WI-2585)

open() found the batch PR by head name across all states, so a fresh
mirror DB reusing graft/batch-N adopted a leftover merged PR and settled
new lands as merged. Batch numbers now skip any branch or PR already on
GitHub, and only an open PR at the batch's own head is adopted.
Adds regression tests and a repair runbook.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
…ng a foreign PR (WI-2585)

Review of #261: the repair runbook now stops unless synced is unchanged and
no sync changeset follows batch 2, and step 5 checks the new PR carries both
lands' files. Adds a test for open()'s reject branch and documents the
crash-after-create_pull window.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@thedancingdeveloper
thedancingdeveloper added this pull request to the merge queue Oct 26, 2026
Merged via the queue into main with commit 5bf4f0f Oct 26, 2026
6 checks passed
@thedancingdeveloper
thedancingdeveloper deleted the wi-2585-batch-adoption branch October 26, 2026 13:52
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