As of 259501@main, we now have both, GitHub label "skip-ews" and git-webkit pr support for --skip-ews flag.
Thanks Aakash > On Jan 26, 2023, at 3:58 PM, Geoffrey Garen <[email protected]> wrote: > > This is great! > > As it is said in "Ghost Dog: The Way of the Samurai", it is bad when one > thing becomes two. Can we pick one name for this feature? Either —no-ews > (git-webkit) and no-ews (GitHub) or —skip-ews (git-webkit) and skip-ews > (GitHub)? > > Thanks, > Geoff > >> On Jan 26, 2023, at 11:36 AM, Aakash Jain via webkit-dev >> <[email protected]> wrote: >> >> Hi Everyone, >> >> git-webkit pr now supports --no-ews / --ews flags (as of 259115@main). This >> is similar to --no-ews flag we had in webkit-patch. You can also manually >> add skip-ews label on any PR when you don't need EWS to run anymore on it. >> --no-ews flag will also automatically add the skip-ews label on the >> corresponding GitHub PR. >> >> Please feel free to use skip-ews GitHub label or --no-ews flag in git-webkit >> pr, when you don't need to run EWS for any reason (e.g.: PR failed a >> critical EWS indicating need for new iteration, and you don't need to run >> rest of the EWSes on that commit). >> >> If you notice any issues, please let me know or file bugs (and assign to me). >> >> >> Thanks >> Aakash >> _______________________________________________ >> webkit-dev mailing list >> [email protected] >> https://lists.webkit.org/mailman/listinfo/webkit-dev > _______________________________________________ webkit-dev mailing list [email protected] https://lists.webkit.org/mailman/listinfo/webkit-dev
