Mirror GitHub Status-bubbles (for latest commit in PR) in the PR description for better visibility. This would ensure that the latest status of the PR is shown on the top, so that people can easily glance through it, instead of trying to find it somewhere in middle of page buried between the comments.
Pull request: https://github.com/WebKit/WebKit/pull/3319
Committed 253442@main (64bae1121de6): <https://commits.webkit.org/253442@main> Reviewed commits have been landed. Closing PR #3319 and removing active labels.
<rdar://problem/98691358>