On Thu, Mar 10, 2022 at 10:49 AM Jonathan Bedard via webkit-dev < webkit-dev@lists.webkit.org> wrote:
Hey folks,
We’re in the final stage of bringing up support for GitHub pull-requests. To support this effort, we’re starting to add labels to our project. We intend to use labels as a replacement for commit-queue flags and Product/Component/Version fields in bugzilla. Before our tools are too reliant on specific label names, we wanted to solicit feedback to see if folks had specific opinions on certain categories. Bellow I have some preliminary thoughts on what labels the project would find helpful:
EWS and Merge-Queue labels: merge-queue (green): Applied to send a PR to merge-queue (equivalent of a modern cq+) fast-merge-queue (green): Applied to send a PR to merge-queue, but skip building and testing
I don't like "fast merge" because who doesn't want fast merging? It doesn't convey why that's different from regular merge, or why using this option may not be always desirable. I also don't think "queue" adds much information about these flags. So why not simply: - merge - untested-merge or testless-merge? - R. Niwa