Any PR of the user's that may supersede a closed one: open PRs (FetchedPR, which also carry mentionedIssueUrls), recently merged PRs, or merged-ledger entries (issue link only).
FetchedPR
mentionedIssueUrls
Optional
Issue the PR closes via a closing keyword.
Every issue/PR the title and body mention, keyword or not (open PRs only).
Any PR of the user's that may supersede a closed one: open PRs (
FetchedPR, which also carrymentionedIssueUrls), recently merged PRs, or merged-ledger entries (issue link only).