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

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-m...), this should allow non-committers to request committers to apply the `merge-queue` label. Jonathan WebKit Continuous Integration