commit 72b2353ab2f01ea96d7526c19f05571688d81e13
parent bd7ca10fdd762f8846dc0ef9db0a723bb8f3610a
Author: dundargoc <33953936+dundargoc@users.noreply.github.com>
Date: Tue, 18 Oct 2022 11:13:58 +0200
ci: add reviewers based on labels (#20703)
Diffstat:
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js
@@ -53,11 +53,12 @@ module.exports = async ({github, context}) => {
if (labels.includes('filetype')) {
reviewers.add("clason")
reviewers.add("gpanders")
+ reviewers.add("smjonas")
}
if (labels.includes('lsp')) {
- reviewers.add("mfussenegger")
reviewers.add("glepnir")
+ reviewers.add("mfussenegger")
}
if (labels.includes('treesitter')) {