243468 2022-08-02 14:32:12 -0700 Merge-queue should remove merge-queue label when it skips PR due to 'merging-blocked' label 2024-02-05 16:00:05 -0800 1 1 1 Unclassified WebKit Tools / Tests Other Unspecified Unspecified NEW InRadar P2 Normal --- 239082 1 aakash_jain webkit-unassigned bfan2 webkit-bug-importer oldest_to_newest 1888507 0 aakash_jain 2022-08-02 14:32:12 -0700 Merge-queue should remove merge-queue label when it skips PR due to 'merging-blocked' label. e.g.: https://ews-build.webkit.org/#/builders/74/builds/2121 skipped merging the PR since there was a merging-blocked label on the PR. However, there was no indication on the PR that the Merge-Queue has processed and skipped the PR. Merge queue should atleast remove the 'merging-blocked' label and/or leave a comment on the PR in such cases. 1890104 1 webkit-bug-importer 2022-08-09 14:33:18 -0700 <rdar://problem/98406312>