Skip to content

Record the House rule: nobody closes a pull request; the branch inhabits its #N - #1030

Merged
loganfinney27 merged 7 commits into
mainfrom
claude/monorepository-merge-queue-rules-ezbmrp
Sep 9, 2026
Merged

Record the House rule: nobody closes a pull request; the branch inhabits its #N#1030
loganfinney27 merged 7 commits into
mainfrom
claude/monorepository-merge-queue-rules-ezbmrp

Record the House rule: no pull request is closed; the branch inhabits…

596209a
Select commit
Loading
Failed to load commit list.
CleanThat / Cleanthat succeeded Sep 9, 2026 in 26s

Cleaning is being executed

someSummary
eventKey=random-be1c920b-ebe1-4329-b044-d701f5990ce0

View more details on CleanThat