Bug 255814

Summary:	[ews-build.webkit.org] Delete close_pr function
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

Description Jonathan Bedard 2023-04-21 17:16:56 PDT

The close_pr function is dead code. Delete it.

Comment 1 Radar WebKit Bug Importer 2023-04-21 17:18:37 PDT

<rdar://problem/108391621>

Comment 2 Jonathan Bedard 2023-04-21 17:20:03 PDT

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

Comment 3 EWS 2023-04-24 14:14:55 PDT

Committed 263333@main (b06b36da9391): <https://commits.webkit.org/263333@main>

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