Hi reviewers of Servo! As you've noticed, we recently started assigning
reviewers to new PRs by random selection. Sometimes this means that a
reviewer ends up assigned to a PR which they don't feel comfortable
reviewing, which is totally fine! When that happens, please redirect the
review to somebody else more appropriate rather than just removing
yourself as the assignee. Unassigned PRs get forgotten and provide a
poor experience for the author, since they receive no feedback on their
changes.
If you're in the random reviewer list
(https://github.com/servo/highfive/blob/master/collaborators.ini) and
would prefer not to be, please go ahead and make a PR to remove your
name. This will not affect your reviewer privileges; you'll just only
receive PRs to review when an explicit request is made, rather than via
random selection.
Thanks!
_______________________________________________
dev-servo mailing list
dev-servo@lists.mozilla.org
https://lists.mozilla.org/listinfo/dev-servo
