RESOLVED INVALID 249790
merge-queue should post comment when merge fails 
https://bugs.webkit.org/show_bug.cgi?id=249790
Summary merge-queue should post comment when merge fails
Michael Catanzaro
Reported 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).
Attachments
Add attachment proposed patch, testcase, etc.
Michael Catanzaro
Comment 1 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.
Note You need to log in before you can comment on or make changes to this bug.