diff options
Diffstat (limited to '.github/scripts/reviews.js')
| -rw-r--r-- | .github/scripts/reviews.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js index 3e5394c4bd..8fae929421 100644 --- a/.github/scripts/reviews.js +++ b/.github/scripts/reviews.js @@ -64,6 +64,10 @@ module.exports = async ({ github, context }) => { reviewers.add("mfussenegger"); } + if (labels.includes("options")) { + reviewers.add("famiu"); + } + if (labels.includes("platform:nix")) { reviewers.add("teto"); } |