Bug 240155 - Patch is merged via merge-queue, but bugzilla is not closed
Summary: Patch is merged via merge-queue, but bugzilla is not closed
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Jonathan Bedard
URL:
Keywords: InRadar
Depends on:
Blocks: 239082
  Show dependency tree / graph
 
Reported: 2022-05-05 21:42 PDT by Yusuke Suzuki
Modified: 2022-05-10 13:23 PDT (History)
2 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.