Bug 239536
| 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 | ||
Yusuke Suzuki
Maybe merge-queue bug.
In https://github.com/WebKit/WebKit/pull/279, it uses merge-queue to land it.
While patch is landed, PR is closed instead of merged (red badge instead of purple badge).
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Jonathan Bedard
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.