Github hooks to provide an encouraging atmosphere for new contributors
Mozilla Public License 2.0
254
stars
58
forks
source link
Pull requests filed with a preset reviewer should just get that reviewer assigned #215
Closed
Manishearth closed 4 years ago
related: https://github.com/servo/highfive/issues/162
I opened https://github.com/servo/servo/pull/26551 with Alan as a reviewer at creation, yet highfive assigned Josh to the PR.
Highfive should just assign the reviewers to the PR if they exist.