Bug 238949

Summary:	[Merge-Queue] Add step to close pull request
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 Nightly Build
Hardware:	Unspecified
OS:	Unspecified
See Also:	https://bugs.webkit.org/show_bug.cgi?id=237368

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.