RESOLVED WONTFIX239536
merge-queue closed PR instead of merging 
https://bugs.webkit.org/show_bug.cgi?id=239536
Summary merge-queue closed PR instead of merging
Yusuke Suzuki
Reported 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).
Attachments
Add attachment proposed patch, testcase, etc.
Jonathan Bedard
Comment 1 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.
Note You need to log in before you can comment on or make changes to this bug.