On Tue, Nov 28 2023 at 01:23:12 PM -0800, Chris Dumez via webkit-dev
<webkit-dev@lists.webkit.org> wrote:
I’m on board if it also cancels PR rejections from non-reviewers,
not just approvals. I don’t see how approvals differ from
rejections.
Sure. It doesn't really matter whether rejections are canceled or not,
because the important part of the rejection is the comments that were
added, not the rejection status itself. A rejection from a non-reviewer
is not effective anyway, so it's fine to have a bot clarify that.
Michael
_______________________________________________
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev