NEW 243468
Merge-queue should remove merge-queue label when it skips PR due to 'merging-blocked' label 
https://bugs.webkit.org/show_bug.cgi?id=243468
Summary Merge-queue should remove merge-queue label when it skips PR due to 'merging-...
Aakash Jain
Reported 2022-08-02 14:32:12 PDT
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.
Attachments
Add attachment proposed patch, testcase, etc.
Radar WebKit Bug Importer
Comment 1 2022-08-09 14:33:18 PDT
<rdar://problem/98406312>
Note You need to log in before you can comment on or make changes to this bug.