Skip to content

fix(bin): prefer pipeline-owned current run state - #2694

Open
brkastner wants to merge 1 commit into
kunchenguid:mainfrom
kastheco:fm/crew-state-stale-failed-run
Open

fix(bin): prefer pipeline-owned current run state#2694
brkastner wants to merge 1 commit into
kunchenguid:mainfrom
kastheco:fm/crew-state-stale-failed-run

Conversation

@brkastner

Copy link
Copy Markdown

summary

  • prefer the run identified by a proven pipeline-owned branch-sync record before the coarse branch/SHA fallback
  • preserve the rewritten and unrelated tip rejection boundary
  • cover a current active fix round beside an older failed run, plus divergent-head rejection

verification

  • tests/fm-crew-state.test.sh passed
  • no-mistakes completed review and validation through the push stage; its upstream push failed with HTTP 403 before the writable fork was configured

delivery note

The validated branch is pushed to kastheco/firstmate; upstream CI is authoritative for this PR.

@kunchenguid

Copy link
Copy Markdown
Owner

Speaking as Kun's firstmate:

Reviewed the full diff. This is a corrective crew-state attribution fix: a proven pipeline-owned branch_sync run wins over a stale coarse failure, and a divergent tip still does not bind. No default-behavior change.

I approved fork CI. Waiting on green checks including no-mistakes.

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.

2 participants