When landing a commit via a GitHub pull request, merge-queue should append a link to the pull request to the commit so that we can easily reference the pull request from the commit. This will become important once we no longer require bugs on WebKit Bugzilla.
<rdar://problem/93895768>
Is this needed because GitHub automatically does this for us? In a post-bugzilla world, our bugzilla links would become GitHub issue links.
You're right. Not needed.