28 Nov
2023
28 Nov
'23
8:34 p.m.
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