this is a nice extra benefit for productivity, as it means i dont have to go back to Terminal to get the PR URL (and it's also a quick way of knowing the PR creation worked because it'll get opened)
<rdar://problem/93440727>
Pull request: https://github.com/WebKit/WebKit/pull/2125
Committed 252182@main (648f3499c7b8): <https://commits.webkit.org/252182@main> Reviewed commits have been landed. Closing PR #2125 and removing active labels.