Bug 242253 - [ews-build.webkit.org] Update PR on Merge-Queue retry
Summary: [ews-build.webkit.org] Update PR on Merge-Queue retry
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: Other
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-07-01 09:57 PDT by Jonathan Bedard
Modified: 2022-07-07 07:34 PDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.