diff options
| author | dundargoc <gocdundar@gmail.com> | 2023-09-27 17:53:06 +0200 |
|---|---|---|
| committer | dundargoc <33953936+dundargoc@users.noreply.github.com> | 2023-10-09 20:27:48 +0200 |
| commit | 9eb5d9f13fb24594007f5b0728826b1f9b694e3c (patch) | |
| tree | a2531c87804f6ae57ecaa6228f740dac2749fa9f /.github/scripts | |
| parent | 6c0f900699293937435591412e4285e313703bc7 (diff) | |
| download | rneovim-9eb5d9f13fb24594007f5b0728826b1f9b694e3c.tar.gz rneovim-9eb5d9f13fb24594007f5b0728826b1f9b694e3c.tar.bz2 rneovim-9eb5d9f13fb24594007f5b0728826b1f9b694e3c.zip | |
ci: various cleanups
- add reviewers
- correct cache key
Diffstat (limited to '.github/scripts')
| -rw-r--r-- | .github/scripts/reviews.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js index 3e5394c4bd..8fae929421 100644 --- a/.github/scripts/reviews.js +++ b/.github/scripts/reviews.js @@ -64,6 +64,10 @@ module.exports = async ({ github, context }) => { reviewers.add("mfussenegger"); } + if (labels.includes("options")) { + reviewers.add("famiu"); + } + if (labels.includes("platform:nix")) { reviewers.add("teto"); } |