commit 82d93429e78b661027c05f3fbc862aa0e0c6cd95 parent 48e060f648f4da94f4e1394068186e2709e4a5f4 Author: dundargoc <33953936+dundargoc@users.noreply.github.com> Date: Sat, 10 Sep 2022 11:08:46 +0200 ci: add more reviewers based on label (#17975) Diffstat:
| M | .github/scripts/reviews.js | | | 9 | ++++----- |
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js @@ -14,9 +14,11 @@ module.exports = async ({github, context}) => { if (labels.includes('build')) { reviewers.add("jamessan") + reviewers.add("justinmk") } if (labels.includes('ci')) { + reviewers.add("dundargoc") reviewers.add("jamessan") } @@ -53,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") }