ci: update labeler configuration and add reviewers

(cherry picked from commit 783f6079b8)
This commit is contained in:
dundargoc
2024-05-29 15:59:43 +02:00
committed by github-actions[bot]
parent 1db8824fbc
commit b65e978a23
2 changed files with 33 additions and 1 deletions

View File

@@ -23,6 +23,10 @@ module.exports = async ({ github, context }) => {
reviewers.add("lewis6991");
}
if (labels.includes("comment")) {
reviewers.add("echasnovski");
}
if (labels.includes("defaults")) {
reviewers.add("gpanders");
}
@@ -43,7 +47,7 @@ module.exports = async ({ github, context }) => {
reviewers.add("gpanders");
}
if (labels.includes("extmarks")) {
if (labels.includes("marks")) {
reviewers.add("bfredl");
}
@@ -52,11 +56,19 @@ module.exports = async ({ github, context }) => {
reviewers.add("gpanders");
}
if (labels.includes("inccommand")) {
reviewers.add("famiu");
}
if (labels.includes("lsp")) {
reviewers.add("MariaSolOs");
reviewers.add("mfussenegger");
}
if (labels.includes("netrw")) {
reviewers.add("justinmk");
}
if (labels.includes("options")) {
reviewers.add("famiu");
}