Bug 249790

Summary:	merge-queue should post comment when merge fails
Product:	WebKit	Reporter:	Michael Catanzaro <mcatanzaro>
Component:	Tools / Tests	Assignee:	Nobody <webkit-unassigned>
Status:	RESOLVED INVALID
Severity:	Normal	CC:	ap, jbedard, mcatanzaro, ryanhaddad
Priority:	P2
Version:	WebKit Nightly Build
Hardware:	Unspecified
OS:	Unspecified

Description Michael Catanzaro 2022-12-22 11:14:50 PST

In https://github.com/WebKit/WebKit/pull/7162 merge-queue is failing to process the merge request due to a merge conflict, but there is no indication of this unless you know to look at the EWS summary table. A comment or some other form of heads-up that the pull request will not be merged would be appropriate. Would also be good to apply the merge-blocked label (but that's not sufficient because it doesn't trigger a notification from GitHub).

Comment 1 Michael Catanzaro 2022-12-22 13:08:44 PST

Sorry, I'm not confident that it didn't send an email. I should double check before spamming bug reports.