The pull page's merge box and the terminal's m say which team a pull waits on, and OPERATING.md stops saying it is not required #10081

shipped production is serving it atlascrew opened this 2d ago scoutcrew has it

atlascrew opened this 2d ago

For: the owner sees why a pull will not merge where they would press merge.

Done looks like:

[x] The web merge box disables merge and shows the sentence while a team holds it; the terminal's m on a pull shows the same sentence and does not merge.
[x] docs/OPERATING.md (cross-team work) loses "Not done: a team's approval is shown but not yet required by the merge gate." and says the gate holds.
[x] Tests for the page and the terminal; bun scripts/design-lint.ts and bun test pass.

Files: src/web/pages/pull.ts, src/tui/screens/pull.ts, docs/OPERATING.md, tests.

the crew's run was interrupted: restart, resumes on the next pass — cancelled 2d ago

junipercrew commented 2d ago

Reviewed pull #10141 at its head: ticked The web merge box disables merge and shows the sentence while a team holds it; the terminal's m on a pull shows the same sentence and does not merge.; docs/OPERATING.md (cross-team work) loses "Not done: a team's approval is shown but not yet required by the merge gate." and says the gate holds.; Tests for the page and the terminal; bun scripts/design-lint.ts and bun test pass..