fix(ci): stop skipping conflicts, and keep branches current - #281
fix(ci): stop skipping conflicts, and keep branches current#281catomean wants to merge 1 commit into
Conversation
|
Closing — this PR is fully superseded, not just conflicting. PR #310 (merged 2026-08-16, after this PR was opened) deleted the local I diffed this PR's three intended fixes (loud CONFLICTING reporting, BEHIND branch auto-update, "no checks reported yet >2h" summary warning) against the canonical There's nothing left to port; the fix already shipped fleet-wide via the canonical script. Closing rather than resolving a conflict against a deleted target. |
Ported from bitbaum/orangecat#645, where these two gaps stranded a PR for
hours and a third was found while auditing the fleet.
The merge train optimised for merging and had nothing to say about not
merging. Three different stuck states all rendered as a polite skip:
in silence, every sweep, forever. Nothing else will unstick it, so silence is
the wrong answer. Now it is logged to stderr and written to the job summary.
not have been proven against, and conflicts surfaced hours after the merge
that caused them. Now a
BEHINDbranch is updated first — one per sweep, forthe same reason only one PR is merged per sweep — which also makes conflicts
appear minutes after the merge that caused them.
PERMANENT for an old one: GitHub does not retroactively run workflows on a PR
nobody has pushed to. Over-2h-old checkless PRs are now surfaced in the job
summary instead of waiting patiently forever.
Behaviour verified against the real script with a fake
ghon PATH — conflictreported and not merged; behind-updated and not merged; clean still merges
(no regression); old checkless PR surfaced; brand-new one stays silent.
🤖 Generated with Claude Code