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    

Yusuke Suzuki
Reported 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
Attachments
Alexey Proskuryakov
Comment 1 2022-05-06 19:22:17 PDT
Radar WebKit Bug Importer
Comment 2 2022-05-10 11:58:12 PDT
Jonathan Bedard
Comment 3 2022-05-10 12:01:03 PDT
Jonathan Bedard
Comment 4 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.
EWS
Comment 5 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.
Note You need to log in before you can comment on or make changes to this bug.