RESOLVED FIXED 240155
Patch is merged via merge-queue, but bugzilla is not closed
https://bugs.webkit.org/show_bug.cgi?id=240155
Summary Patch is merged via merge-queue, but bugzilla is not closed
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.