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