commit 8f1541fced2fdcdc378c7a608ed3a6bd94329088
parent d4398f40214fb6175e2bff4c5823e0e6ca13fbda
Author: dundargoc <33953936+dundargoc@users.noreply.github.com>
Date: Fri, 7 Apr 2023 23:00:35 +0200
ci: use a set instead of array for team reviewers
Adding the same team multiple times will fail the review job.
Diffstat:
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/.github/scripts/reviews.js b/.github/scripts/reviews.js
@@ -7,17 +7,17 @@ module.exports = async ({github, context}) => {
const labels = pr_data.data.labels.map(e => e.name)
const reviewers = new Set()
- const team_reviewers = new Array()
+ const team_reviewers = new Set()
if (labels.includes('api')) {
reviewers.add("bfredl")
}
if (labels.includes('build')) {
- team_reviewers.push('ci');
+ team_reviewers.add('ci');
}
if (labels.includes('ci')) {
- team_reviewers.push('ci');
+ team_reviewers.add('ci');
}
if (labels.includes('column')) {
@@ -55,7 +55,7 @@ module.exports = async ({github, context}) => {
}
if (labels.includes('lsp')) {
- team_reviewers.push('lsp');
+ team_reviewers.add('lsp');
}
if (labels.includes('platform:nix')) {
@@ -72,7 +72,7 @@ module.exports = async ({github, context}) => {
}
if (labels.includes('treesitter')) {
- team_reviewers.push('treesitter');
+ team_reviewers.add('treesitter');
}
if (labels.includes('typo')) {
@@ -97,6 +97,6 @@ module.exports = async ({github, context}) => {
repo: context.repo.repo,
pull_number: context.issue.number,
reviewers: Array.from(reviewers),
- team_reviewers: team_reviewers
+ team_reviewers: Array.from(team_reviewers)
});
}