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

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.