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
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev
