OptionalissueUrl?: stringIssue the PR closes, parsed from the PR body (#1824).
OptionalopenedAt?: stringWhen the PR was opened (#1461). Carried from the Search API's
created_at so merge detection can persist it into the outcome ledger.
Optional: digests persisted by older producers don't have it.
Scan one merged PR's activity. MergedPRScan.pending holds the notes that still wait for the user, following these rules:
A comment, review (non-empty body) or inline review comment counts when:
mergedAt.A commit counts when it is not a merge commit, its GitHub author is a non-bot account other than the user and its author date is after both the user's last commit and the user's last comment (see scanCommits for why a maintainer's rebase does not move the user's commits). Commits are not bound to the merge time: a maintainer who pushed on top the day before merging still changed what shipped.