Repository navigation
fix(workflows): distinguish merge waits from repair recovery - #30
Open
tylerwillis wants to merge 1 commit into
Open
tylerwillis wants to merge 1 commit into
tylerwillis wants to merge 1 commit into
Conversation
Render BUILDING for 2119 recovery and ITERATING for the GitHub workflows. Recover only for current conflicts, failed or cancelled required checks, or requested changes. Retain MERGING for approval, pending checks, queue, behind-branch, and unknown-evidence waits. Read fresh PR and queue evidence, verify the head after reading checks, and avoid completed-check watcher loops. Pin the ordered instruction policy for all five workflows and execute the rendered recovery command against the real workflow state machine. Add the file-scoped requirements and independently reviewed coverage verdicts. Validation: 106 focused tests, Ruff lint/format, mypy, spec lint, wheel build, and clean-wheel smoke pass. Fresh independent specification, implementation, and test-honesty reviews pass. All 12 affected requirements pass their scoped gate; the full gate still reports 203 unrelated baseline verdict violations.
tylerwillis
force-pushed
the
codex/fix-2119-merge-recovery
branch
from
October 29, 2026 08:04
1cf9e82 to
3e01e57
Compare
This branch has not been deployed
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.
A PR can be blocked while it waits for approval or checks, without needing code changes. The shared
babysit-mergeinstruction previously sent everyBLOCKEDPR toITERATING, a state the three 2119 workflows do not have.Use the active workflow's recovery state (
BUILDINGfor 2119,ITERATINGfor GitHub peer/self-reviewed workflows), and recover only on conflicts, a failed/cancelled latest required check for the current head, or requested changes. Fetch current PR/check/queue evidence first. Approval, pending-check, queue, behind-branch, and unknown-evidence waits retainMERGING; approval and unknown-blocker waits return control to the user. Only known pending required checks start a watcher, avoiding an immediate loop on completed checks. When queue completion needs another invocation, the instructions explicitly tell the user to re-invoke the skill. A head read-back discards evidence if a concurrent push changed the PR head.The change adds no state or transition edge. Regressions pin the complete ordered instruction policy across all five workflows and execute the rendered recovery command as a real free move, verifying fresh responsibilities and preserved history.
Validation:
mainbecause the CLI sends two valid direct requests while the assertion expects one. These baseline/environment issues are unchanged.