RESOLVED FIXED242253
[ews-build.webkit.org] Update PR on Merge-Queue retry 
https://bugs.webkit.org/show_bug.cgi?id=242253
Summary [ews-build.webkit.org] Update PR on Merge-Queue retry
Jonathan Bedard
Reported 2022-07-01 09:57:48 PDT
When the first push to WebKit fails, Merge-Queue should continue to update PRs lest they be "closed" instead of "merged".
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-07-01 09:58:12 PDT
<rdar://problem/96299099>
Jonathan Bedard
Comment 2 2022-07-01 10:00:51 PDT
Pull request: https://github.com/WebKit/WebKit/pull/1995
EWS
Comment 3 2022-07-07 07:34:29 PDT
Committed 252212@main (6102649fa647): <https://commits.webkit.org/252212@main> Reviewed commits have been landed. Closing PR #1995 and removing active labels.
Note You need to log in before you can comment on or make changes to this bug.