Repository navigation

PR review: ground findings in production telemetry, and check production after merge - #1274

Merged

Makisuo merged 8 commits into

mainfrom

feat/pr-review-telemetry-grounding

Oct 6, 2026

Commits on Oct 6, 2026

feat(pr-review): read the diff against production telemetry
Makisuo
committed
9aead0a
feat(pr-review): look at production after a reviewed pull request ships
Makisuo
committed
90e4eaf
fix(pr-review): address review feedback on telemetry grounding
Makisuo
committed
d3b9a1f
fix(pr-review): second round of review feedback
Makisuo
committed
36c9663
fix(pr-review): report a post-merge look only while holding its lease
Makisuo
committed
83d04df
refactor(pr-review): keep post-merge time as DateTime.Utc
Makisuo
committed
c627295
fix: stop parsing timestamps in the host timezone on the server
Makisuo
committed
ea66537
fix(pr-review): a dismissal must cite a telemetry call of the break's kind
Makisuo
committed
9f61fe0