[webkit-dev] New `request-merge-queue` label

[Jonathan Bedard]

Hey folks,

There was a request to add an equivalent to Bugzilla's “cq?” in GitHub. This morning, I added the `request-merge-queue` label, https://github.com/WebKit/WebKit/labels?q=request-merge-queue. Since GitHub lets you filter PRs on labels (https://github.com/WebKit/WebKit/pulls?q=is%3Apr+is%3Aopen+label%3Arequest-merge-queue), this should allow non-committers to request committers to apply the `merge-queue` label.

Jonathan
WebKit Continuous Integration
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20221025/c9a9f4ed/attachment.htm>