Bug 240155

Summary: Patch is merged via merge-queue, but bugzilla is not closed
Product: WebKit Reporter: Yusuke Suzuki <ysuzuki>
Component: Tools / TestsAssignee: 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.