Bug 249790 - merge-queue should post comment when merge fails
Summary: merge-queue should post comment when merge fails
Status: RESOLVED INVALID
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:
 
Reported: 2022-12-22 11:14 PST by Michael Catanzaro
Modified: 2022-12-22 13:08 PST (History)
4 users (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 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.