diff options
author | Josh Rahm <rahm@google.com> | 2022-09-12 10:52:49 -0600 |
---|---|---|
committer | Josh Rahm <rahm@google.com> | 2022-09-12 10:52:49 -0600 |
commit | 4889fe01b9853cf98363ac226f95b524801ff3cc (patch) | |
tree | 279d43b86561bf1314fdf1cf5c0c9af6aac76b25 /.github/scripts/reviews.js | |
parent | 8fc6e69877f6c15942b4e8fc6ca471e4221d9bae (diff) | |
parent | fd70e2bff2440181f63fe124738cf2a025d1e6a5 (diff) | |
download | rneovim-4889fe01b9853cf98363ac226f95b524801ff3cc.tar.gz rneovim-4889fe01b9853cf98363ac226f95b524801ff3cc.tar.bz2 rneovim-4889fe01b9853cf98363ac226f95b524801ff3cc.zip |
Merge remote-tracking branch 'upstream/master' into usermarks
Diffstat (limited to '.github/scripts/reviews.js')
-rw-r--r-- | .github/scripts/reviews.js | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js index 6e9a829353..c76f25b7da 100644 --- a/.github/scripts/reviews.js +++ b/.github/scripts/reviews.js @@ -9,15 +9,16 @@ module.exports = async ({github, context}) => { const reviewers = new Set() if (labels.includes('api')) { reviewers.add("bfredl") - reviewers.add("gpanders") reviewers.add("muniter") } if (labels.includes('build')) { reviewers.add("jamessan") + reviewers.add("justinmk") } if (labels.includes('ci')) { + reviewers.add("dundargoc") reviewers.add("jamessan") } @@ -54,17 +55,14 @@ module.exports = async ({github, context}) => { reviewers.add("gpanders") } - if (labels.includes('gui')) { - reviewers.add("glacambre") - reviewers.add("smolck") - } - if (labels.includes('lsp')) { reviewers.add("mfussenegger") + reviewers.add("glepnir") } if (labels.includes('treesitter')) { reviewers.add("bfredl") + reviewers.add("clason") reviewers.add("vigoux") } |