These merged PR show zero commits, like in git-svn days: https://github.com/WebKit/WebKit/pull/1056 https://github.com/WebKit/WebKit/pull/4380 Jonathan suspects that this is a race in GitHub processing closing and merging.
<rdar://problem/100034493>
Pull request: https://github.com/WebKit/WebKit/pull/4424
Committed 254566@main (c5ed98621c9c): <https://commits.webkit.org/254566@main> Reviewed commits have been landed. Closing PR #4424 and removing active labels.