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
Pull request: https://github.com/WebKit/WebKit/pull/579 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. Committed r294014 (250448@main): <https://commits.webkit.org/250448@main> Reviewed commits have been landed. Closing PR #579 and removing active labels. |