I guess some GitHub integrations don’t fully work as expected unless you’re in the contributors.json file…
Pull request: https://github.com/WebKit/WebKit/pull/17770
Committed 267984@main (90e1e2c448d7): <https://commits.webkit.org/267984@main> Reviewed commits have been landed. Closing PR #17770 and removing active labels.
<rdar://problem/115487540>