A closed or merged PR with its issue link, from the digest lists or the ledger.
Optional
Issue the PR closes via a closing keyword.
When the PR was opened; optional on older ledger entries.
A closed or merged PR with its issue link, from the digest lists or the ledger.