Bug 239536 - merge-queue closed PR instead of merging
Summary: merge-queue closed PR instead of merging
Status: RESOLVED WONTFIX
Alias: None
Product: WebKit
Classification: Unclassified
Component: Tools / Tests (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks: 239082
  Show dependency tree / graph
 
Reported: 2022-04-20 02:30 PDT by Yusuke Suzuki
Modified: 2022-04-25 11:35 PDT (History)
1 user (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-04-20 02:30:09 PDT 
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).
Comment 1 Jonathan Bedard 2022-04-25 11:35:41 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.