Bug 242140

Summary:	[ews-build.webkit.org] Handle push failure after PR update
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:	WebKit Local Build
Hardware:	Unspecified
OS:	Unspecified

Description Jonathan Bedard 2022-06-29 15:07:48 PDT

If a PR fails to land after we've already updated it, any future Validation calls will fail when checking if the PR is obsolete. Retries after a failed push should therefore allow "obsolete" PRs.

Comment 1 Jonathan Bedard 2022-06-29 15:10:09 PDT

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

Comment 2 EWS 2022-06-30 07:03:46 PDT

Committed 251992@main (b2256a4c784e): <https://commits.webkit.org/251992@main>

Reviewed commits have been landed. Closing PR #1917 and removing active labels.

Comment 3 Radar WebKit Bug Importer 2022-06-30 07:04:13 PDT

<rdar://problem/96215952>