Summary: | merge-queue closed PR instead of merging | ||
---|---|---|---|
Product: | WebKit | Reporter: | Yusuke Suzuki <ysuzuki> |
Component: | Tools / Tests | Assignee: | Nobody <webkit-unassigned> |
Status: | RESOLVED WONTFIX | ||
Severity: | Normal | CC: | jbedard |
Priority: | P2 | ||
Version: | WebKit Nightly Build | ||
Hardware: | Unspecified | ||
OS: | Unspecified | ||
Bug Depends on: | |||
Bug Blocks: | 239082 |
Description
Yusuke Suzuki
2022-04-20 02:30:09 PDT
TLDR, blame `git-svn`. Merge-Queue does it's best, but it's racey. I'm not going to be putting any effort to improving that situation, it will be better when we aren't backed by Subversion. |