[Webkit-unassigned] [Bug 249790] New: merge-queue should post comment when merge fails

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=249790

            Bug ID: 249790
           Summary: merge-queue should post comment when merge fails
           Product: WebKit
           Version: WebKit Nightly Build
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Tools / Tests
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: mcatanzaro at gnome.org
                CC: jbedard at apple.com

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).

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20221222/15356697/attachment.htm>