When a change is reverted from main, there should be some indication of this in the PR for the change (we already comment in the bugzilla).
Enshrining a passing comment I made to Simon on Slack: This is something we probably want to do after we drop Subversion support, GitHub's attribution of pull-request to landed commit should work more reliably once we are no longer landing via git-svn.
<rdar://problem/95035108>