Add support for Skip-EWS GitHub label. This label can be applied to a PR to skip EWS runs. There might be various scenarios in which people might want to apply such a label. Foe e.g: - Some engineers might want to abort EWS as soon as the they know that the change is going to be bad (e.g: an important ews on their patch failed, and they don't want to keep running on all other ewses). - Someone just re-uploaded the change after doing a trivial change (add reviewer name, fix typo in PR title etc.) - Admins wants to stop a bad PR (which might be breaking EWS bots) from further processing
Note that, in bugzilla world, there are three ways to do similar thing: 1) r- the patch 2) mark the patch as obsolete from bugzilla UI 3) --no-ews while uploading the patch In GitHub world, we don't have any way to do this. Equivalent of r- in GitHub is marking the PR as Request changes, which still triggers the EWS. There is no way to mark a commit as obsolete in GitHub UI without uploading a new commit.
Pull request: https://github.com/WebKit/WebKit/pull/6476
Committed 256760@main (57ba798e7aa4): <https://commits.webkit.org/256760@main> Reviewed commits have been landed. Closing PR #6476 and removing active labels.
<rdar://problem/102444473>
Re-opening for pull request https://github.com/apple/WebKit/pull/216
Committed 252432.837@safari-7614-branch (8dbf19696f48): <https://commits.webkit.org/252432.837@safari-7614-branch> Reviewed commits have been landed. Closing PR #216 and removing active labels.