RESOLVED FIXED 238949
[Merge-Queue] Add step to close pull request 
https://bugs.webkit.org/show_bug.cgi?id=238949
Summary [Merge-Queue] Add step to close pull request
Jonathan Bedard
Reported 2022-04-07 11:32:33 PDT
Pushing merged commits to the PR branch should close the pull request, but if it does not, we should explicitly close the pull request.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-04-07 11:32:47 PDT
<rdar://problem/91434587>
Jonathan Bedard
Comment 2 2022-04-07 11:36:28 PDT
Pull request: https://github.com/WebKit/WebKit/pull/260
EWS
Comment 3 2022-04-07 12:56:15 PDT
Committed r292555 (249393@main): <https://commits.webkit.org/249393@main> Reviewed commits have been landed. Closing #260 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.