[webkit-dev] Approving / Rejects PRs on GitHub when not a reviewer?

J Pascoe j_pascoe at apple.com
Tue Nov 28 12:08:29 PST 2023


I think we could fix this by making EWS smarter. 

There is GitHub API to list and “dismiss” reviews on a PR that repository admins have permissions to use. 

https://docs.github.com/en/rest/pulls/reviews?apiVersion=2022-11-28#dismiss-a-review-for-a-pull-request

Thanks,
Pascoe

> On Nov 28, 2023, at 12:02 PM, Chris Dumez via webkit-dev <webkit-dev at lists.webkit.org> wrote:
> 
> 
>> On Nov 28, 2023, at 11:51 AM, Michael Catanzaro <mcatanzaro at redhat.com> wrote:
>> 
>> On Tue, Nov 28 2023 at 10:27:41 AM -0800, Chris Dumez via webkit-dev <webkit-dev at lists.webkit.org> wrote:
>>> The reason I would like us to make enforce this rule is that I find it confusing. We have a lot of new comers in the project and I do not always know if a person is a reviewer or not yet. I imagine it may be even more confusing for non-Apple people.
>>> I have in some cases not reviewed patches because I had seen the "green check” and thought the PR already had been approved.
>> 
>> +1, if there is a green checkmark, then I assume that person is a reviewer. It's really confusing when non-reviewers add the green checkmark.
> 
> FYI, my understanding is that the person gets a *green* checkmark when the person is present in contributors.json (common case), even if not marked as a reviewer in that file.
> They get a *grey* checkmark when they’re not present in contributors.json (not common). Also, the difference between green and grey for this tiny checkmark is super subtle.
> 
> That said, most of the instances where I saw it happened was with a green checkmark.
> 
> Either way, I think non-reviewers should not approve/reject PR, just add comments to avoid confusion.
> _______________________________________________
> webkit-dev mailing list
> webkit-dev at lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-dev/attachments/20231128/b0d4625e/attachment.htm>


More information about the webkit-dev mailing list