diff options
Diffstat (limited to '.github/scripts/reviewers_add.js')
| -rw-r--r-- | .github/scripts/reviewers_add.js | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.github/scripts/reviewers_add.js b/.github/scripts/reviewers_add.js index 08b4e85b74..73e1ece516 100644 --- a/.github/scripts/reviewers_add.js +++ b/.github/scripts/reviewers_add.js @@ -57,7 +57,6 @@ module.exports = async ({ github, context }) => { if (labels.includes("lsp")) { reviewers.add("MariaSolOs"); - reviewers.add("mfussenegger"); } if (labels.includes("netrw")) { |