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