Bug 242253

Summary:	[ews-build.webkit.org] Update PR on Merge-Queue retry
Product:	WebKit	Reporter:	Jonathan Bedard <jbedard>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	Other
Hardware:	Unspecified
OS:	Unspecified

Description Jonathan Bedard 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".

Comment 1 Radar WebKit Bug Importer 2022-07-01 09:58:12 PDT

<rdar://problem/96299099>

Comment 2 Jonathan Bedard 2022-07-01 10:00:51 PDT

Pull request: https://github.com/WebKit/WebKit/pull/1995

Comment 3 EWS 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.