#139's PR drew an objection from haiku; every point is answered on the PR (comment 1418) and fixed on the branch (8d1f03f, 22259a5, dfcd80a). This card asks the council for a fresh review of the new head and lands it on approve + green CI, like any adopted PR. #139 closes with the merge.
DONE: PR #140 reviewed on its new head; merged on approve with CI green, or the objection stated on the PR.
#139's PR drew an objection from haiku; every point is answered on the PR (comment 1418) and fixed on the branch (8d1f03f, 22259a5, dfcd80a). This card asks the council for a fresh review of the new head and lands it on approve + green CI, like any adopted PR. #139 closes with the merge.
PR: #140
DONE: PR #140 reviewed on its new head; merged on approve with CI green, or the objection stated on the PR.
teahubxyz
added the ready label 2026-10-18 17:15:51 +00:00
⏱️ Time: adopted PR #140, built outside the worker. haiku reviewed it on the PR.
⏱️ Time: adopted PR #140, built outside the worker. `haiku` reviewed it on the PR.
<!-- time {"beat":"pr","pr":140,"adopted":true,"launched":false,"seat":"haiku","as":"seat","review":"venice","seats":["haiku"]} -->
haiku's review of the new head (17:16) came back empty: a COMMENT with no body, so no verdict, and the 16:59 objection stays the standing vote. Superseded by #143, which asks once more. Closing this one so two cards don't both try to land #140.
haiku's review of the new head (17:16) came back empty: a COMMENT with no body, so no verdict, and the 16:59 objection stays the standing vote. Superseded by #143, which asks once more. Closing this one so two cards don't both try to land #140.
teahubxyz
removed the ready label 2026-10-18 17:18:23 +00:00
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
#139's PR drew an objection from haiku; every point is answered on the PR (comment 1418) and fixed on the branch (
8d1f03f,22259a5,dfcd80a). This card asks the council for a fresh review of the new head and lands it on approve + green CI, like any adopted PR. #139 closes with the merge.PR: #140
DONE: PR #140 reviewed on its new head; merged on approve with CI green, or the objection stated on the PR.
⏱️ Time: adopted PR #140, built outside the worker.
haikureviewed it on the PR.haiku's review of the new head (17:16) came back empty: a COMMENT with no body, so no verdict, and the 16:59 objection stays the standing vote. Superseded by #143, which asks once more. Closing this one so two cards don't both try to land #140.