You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
ci: one PR per ticket, enforced (check refuses a duplicate PR per PMAT ticket) #6102
Operator ruling 2026-10-23 07:12Z (c, f): one PR per ticket, enforced. Five-whys terminal: no check refuses a duplicate PR per ticket.
Check: on pull_request, read the PR PMAT-Ticket trailers; red if another OPEN PR (draft included) carries the same ticket and this PR body lacks "supersedes #N" with #N closed. Falsifier: second PR for one ticket -> red; with supersedes + #N closed -> green. Bash only, reads via GraphQL, gate-class (SEAT-ORDER + quorum). Parent epic: #5923 (EMG-001).
Closing under EMR-001 P6 step 1: the fix landed on main as 677ea30 (commit trailer PMAT-Ticket: PMAT-6102, in v0.71.4..main). Reopen if a part is still missing.
Activity
ci(arbiter): bare run of the one-PR-per-ticket checker is its self-te…
Merge main into ci/6102-one-pr-per-ticket-v2 (Refs #6102)
noahgift commentedon Oct 24, 2026
Closing under EMR-001 P6 step 1: the fix landed on main as 677ea30 (commit trailer
PMAT-Ticket: PMAT-6102, in v0.71.4..main). Reopen if a part is still missing.