Bug 238949 - [Merge-Queue] Add step to close pull request
Summary: [Merge-Queue] Add step to close pull request
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2022-04-07 11:32 PDT by Jonathan Bedard
Modified: 2022-04-07 12:56 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-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.
Comment 1 Radar WebKit Bug Importer 2022-04-07 11:32:47 PDT 
<rdar://problem/91434587>
Comment 2 Jonathan Bedard 2022-04-07 11:36:28 PDT 
Pull request: https://github.com/WebKit/WebKit/pull/260
Comment 3 EWS 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.