Bug 240155

Summary:	Patch is merged via merge-queue, but bugzilla is not closed
Product:	WebKit	Reporter:	Yusuke Suzuki <ysuzuki>
Component:	Tools / Tests	Assignee:	Jonathan Bedard <jbedard>
Status:	RESOLVED FIXED
Severity:	Normal	CC:	jbedard, webkit-bug-importer
Priority:	P2	Keywords:	InRadar
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified
Bug Depends on:
Bug Blocks:	239082

Description Yusuke Suzuki 2022-05-05 21:42:32 PDT

Let's see this bugzilla.
https://bugs.webkit.org/show_bug.cgi?id=240054
The patch is merged via merge-queue, but PR is marked as Closed, and bugzilla is not closed.
https://github.com/WebKit/WebKit/pull/491

Comment 1 Alexey Proskuryakov 2022-05-06 19:22:17 PDT

Another: https://bugs.webkit.org/show_bug.cgi?id=240187

Comment 2 Radar WebKit Bug Importer 2022-05-10 11:58:12 PDT

<rdar://problem/93045114>

Comment 3 Jonathan Bedard 2022-05-10 12:01:03 PDT

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

Comment 4 Jonathan Bedard 2022-05-10 12:02:00 PDT

Looks like the HTTP request to GitHub that's attempting to update the PR is occasionally failing. We might consider a retry, but more fundamentally, we should still update the bug tracker in this failure mode.

Comment 5 EWS 2022-05-10 13:23:12 PDT

Committed r294014 (250448@main): <https://commits.webkit.org/250448@main>

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