Review rule wording, and no duplicate "Closes #N" in PR bodies #58

Closed
opened 2026-10-14 21:40:09 +00:00 by teahubxyz · 4 comments
Owner

Two small things from the review of #56:

  • The reviewer's rule says a success under # Checks "means those tests or builds passed". A commit status can come from any integration, so say instead that a success means that context reported success.
  • PR bodies end up with Closes #N twice: the worker writes it in its summary, and open_pr adds it again. Have open_pr add the line only when the summary doesn't already contain Closes #N for this card.
  • Checks in .github/time/test_time.py for both.

Depends on #53

DONE: PR open; the new checks pass; CI green.

Two small things from the review of #56: - The reviewer's rule says a success under `# Checks` "means those tests or builds passed". A commit status can come from any integration, so say instead that a success means that context reported success. - PR bodies end up with `Closes #N` twice: the worker writes it in its summary, and `open_pr` adds it again. Have `open_pr` add the line only when the summary doesn't already contain `Closes #N` for this card. - Checks in `.github/time/test_time.py` for both. Depends on #53 DONE: PR open; the new checks pass; CI green.
teahubxyz added the queued label 2026-10-14 21:40:09 +00:00
time added ready and removed queued labels 2026-10-17 18:27:29 +00:00

⏱️ Time: Claude Sonnet (Anthropic) is working on this now, on branch time/card-58.

⏱️ Time: Claude Sonnet (Anthropic) is working on this now, on branch `time/card-58`. <!-- time {"beat":"dispatched","launched":true,"worker":"anthropic"} -->

⏱️ Time: sonnet opened PR #74 (8 steps, claude-sonnet-5-5). Review and landing follow on the next beat.

⏱️ Time: `sonnet` opened PR #74 (8 steps, claude-sonnet-5-5). Review and landing follow on the next beat. <!-- time {"beat":"dispatched","worker":"anthropic","pr":74,"steps":8,"seat":"sonnet","model":"claude-sonnet-5-5"} -->

⏱️ Time: PR #74 is up for this card. haiku reviewed it on the PR.

⏱️ Time: PR #74 is up for this card. `haiku` reviewed it on the PR. <!-- time {"beat":"pr","pr":74,"launched":false,"review":"venice","seat":"haiku"} -->

⏱️ Time: approved, but PR #74 touches protected paths (.github/time/test_time.py, .github/time/time.py), so a human merges this one.

⏱️ Time: approved, but PR #74 touches protected paths (.github/time/test_time.py, .github/time/time.py), so a human merges this one. <!-- time {"beat":"needs-human","pr":74} -->
Sign in to join this conversation.
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: teahubxyz/time#58