Skip to content

Define Merge run, Self-merge and Foreign commit - #89

Merged
JacobStephens2 merged 1 commit into
mainfrom
merge-run-domain
Sep 27, 2026
Merged

JacobStephens2 merged 1 commit into
mainfrom
merge-run-domain

Conversation

@JacobStephens2

Copy link
Copy Markdown
Owner

Domain groundwork for #26, from a grilling session. It changes documentation only; the code comes later, in the Run that implements #26.

  • CONTEXT.md: adds Merge run, Self-merge and Foreign commit. Widens Repair to include the review Repair and conflicts with the Issue branch on origin. Widens Failed run so a policy refusal leaves the PR ready for review instead of converting it to a draft. Updates the opening line and Day shift to reflect that some PRs are merged without review.
  • docs/adr/0004: explains why thirdshift merges itself, with gh pr merge --merge --match-head-commit, instead of using GitHub auto-merge (gh pr merge --auto), and compares the two.

The full spec is in #26.

🤖 Generated with Claude Code

https://claude.ai/code/session_01FRmt1wGc4BFAy3rUZf25YQ

@JacobStephens2
JacobStephens2 merged commit 57d51db into main Sep 27, 2026
13 checks passed
@JacobStephens2
JacobStephens2 deleted the merge-run-domain branch September 27, 2026 12:28
@JacobStephens2 JacobStephens2 mentioned this pull request Sep 27, 2026
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