Bug 245423

Summary:	[git-webkit] Merged PRs are closed
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:	Other
Hardware:	Unspecified
OS:	Unspecified

Description Jonathan Bedard 2022-09-20 06:13:27 PDT

GitHub differentiates between merged and closed PRs. Our tooling does not.

Comment 1 Radar WebKit Bug Importer 2022-09-20 06:14:40 PDT

<rdar://problem/100169550>

Comment 2 Jonathan Bedard 2022-09-20 06:16:36 PDT

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

Comment 3 EWS 2022-09-20 09:16:31 PDT

Committed 254677@main (8a4162f5ff04): <https://commits.webkit.org/254677@main>

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

Comment 4 EWS 2022-09-21 15:03:43 PDT

Committed 252432.456@safari-7614-branch (381eaaeb2486): <https://commits.webkit.org/252432.456@safari-7614-branch>

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