git@github.com checkouts are more trouble, as one needs to set up an ssh key in addition to a token, so we shouldn't be recommending those.
Pull request: https://github.com/WebKit/WebKit/pull/680
Committed r294333 (250653@main): <https://commits.webkit.org/250653@main> Reviewed commits have been landed. Closing PR #680 and removing active labels.
<rdar://problem/93444573>