diff options
| -rw-r--r-- | .github/scripts/reviews.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js index c76f25b7da..c1318edec0 100644 --- 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')) { |