Follow-up from #131. Review outcomes (fixed / rejected / dismissed / disputed) are observed only when a review runs, so a maintainer resolving a thread after the last push is not remembered until the next review of that pull request. GitHub emits no webhook for a thread resolution (see docs/triggers.md), so this needs a product decision: a lightweight observe-only path (poll open PRs' threads on a schedule, or on closed/merged events) versus a full re-review. Raised in #131 (comment).
Co-authored-by: Medulla medulla@tinyhumans.ai
Follow-up from #131. Review outcomes (
fixed/rejected/dismissed/disputed) are observed only when a review runs, so a maintainer resolving a thread after the last push is not remembered until the next review of that pull request. GitHub emits no webhook for a thread resolution (see docs/triggers.md), so this needs a product decision: a lightweight observe-only path (poll open PRs' threads on a schedule, or onclosed/mergedevents) versus a full re-review. Raised in #131 (comment).Co-authored-by: Medulla medulla@tinyhumans.ai