(I already answered this, but that message failed to reach the mailing list, sorry to the folks receiving my reply twice)
Everyone in the WebKit Github organization gets a green checkmark afaik (that’s just how the Github UI works), so as of right now that means everyone in contributors.json with a Github username. > On Nov 28, 2023, at 12:34 PM, Darin Adler via webkit-dev > <[email protected]> wrote: > >> On Nov 28, 2023, at 3:02 PM, Chris Dumez wrote: >> >> 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. > > Does anyone know why we chose green for all contributors rather than green > for reviewers? > > — Darin > _______________________________________________ > 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
