diff options
| author | dundargoc <gocdundar@gmail.com> | 2024-03-15 10:56:33 +0100 |
|---|---|---|
| committer | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2024-03-16 15:11:26 +0100 |
| commit | 924a7ef8bb3b74eccbffd48bc1a283d3867b8119 (patch) | |
| tree | 520e9bfceb5cabf26ab474c6e00473f090ae1b36 | |
| parent | bf24298feaeab9dd5fea197b4b4422fee31ac33c (diff) | |
| download | rneovim-924a7ef8bb3b74eccbffd48bc1a283d3867b8119.tar.gz rneovim-924a7ef8bb3b74eccbffd48bc1a283d3867b8119.tar.bz2 rneovim-924a7ef8bb3b74eccbffd48bc1a283d3867b8119.zip | |
ci: don't assign reviewers for "api" and "ui" labels
The labels as they're currently defined are too broad to meaningfully
add specific reviewers for them.
| -rw-r--r-- | .github/scripts/reviewers_add.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/.github/scripts/reviewers_add.js b/.github/scripts/reviewers_add.js index c6a878ec8e..d8319ea56b 100644 --- a/.github/scripts/reviewers_add.js +++ b/.github/scripts/reviewers_add.js @@ -7,11 +7,6 @@ module.exports = async ({ github, context }) => { const labels = pr_data.data.labels.map((e) => e.name); const reviewers = new Set(); - if (labels.includes("api")) { - reviewers.add("bfredl"); - reviewers.add("famiu"); - } - if (labels.includes("build")) { reviewers.add("dundargoc"); reviewers.add("jamessan"); @@ -103,11 +98,6 @@ module.exports = async ({ github, context }) => { reviewers.add("dundargoc"); } - if (labels.includes("ui")) { - reviewers.add("bfredl"); - reviewers.add("famiu"); - } - if (labels.includes("vim-patch")) { reviewers.add("seandewar"); reviewers.add("zeertzjq"); |