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