commit 924a7ef8bb3b74eccbffd48bc1a283d3867b8119
parent bf24298feaeab9dd5fea197b4b4422fee31ac33c
Author: dundargoc <gocdundar@gmail.com>
Date: Fri, 15 Mar 2024 10:56:33 +0100
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.
Diffstat:
1 file changed, 0 insertions(+), 10 deletions(-)
diff --git 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");