diff options
Diffstat (limited to '.github/scripts')
| -rwxr-xr-x | .github/scripts/install_deps.sh | 4 | ||||
| -rw-r--r-- | .github/scripts/reviewers_add.js | 10 |
2 files changed, 2 insertions, 12 deletions
diff --git a/.github/scripts/install_deps.sh b/.github/scripts/install_deps.sh index b7d723e690..2aec8ea553 100755 --- a/.github/scripts/install_deps.sh +++ b/.github/scripts/install_deps.sh @@ -16,9 +16,9 @@ if [[ $os == Linux ]]; then if [[ $CC == clang ]]; then DEFAULT_CLANG_VERSION=$(echo | clang -dM -E - | grep __clang_major | awk '{print $3}') - CLANG_VERSION=20 + CLANG_VERSION=19 if ((DEFAULT_CLANG_VERSION >= CLANG_VERSION)); then - echo "Default clang version is $DEFAULT_CLANG_VERSION, which equal or larger than wanted version $CLANG_VERSION. Aborting!" + echo "Default clang version is $DEFAULT_CLANG_VERSION, which is equal or larger than wanted version $CLANG_VERSION. Aborting!" exit 1 fi diff --git a/.github/scripts/reviewers_add.js b/.github/scripts/reviewers_add.js index 50195497af..08b4e85b74 100644 --- a/.github/scripts/reviewers_add.js +++ b/.github/scripts/reviewers_add.js @@ -39,10 +39,6 @@ module.exports = async ({ github, context }) => { reviewers.add("lewis6991"); } - if (labels.includes("documentation")) { - reviewers.add("clason"); - } - if (labels.includes("editorconfig")) { reviewers.add("gpanders"); } @@ -53,7 +49,6 @@ module.exports = async ({ github, context }) => { if (labels.includes("filetype")) { reviewers.add("clason"); - reviewers.add("gpanders"); } if (labels.includes("inccommand")) { @@ -90,10 +85,6 @@ module.exports = async ({ github, context }) => { reviewers.add("famiu"); } - if (labels.includes("test")) { - reviewers.add("justinmk"); - } - if (labels.includes("treesitter")) { reviewers.add("bfredl"); reviewers.add("clason"); @@ -110,7 +101,6 @@ module.exports = async ({ github, context }) => { } if (labels.includes("vim-patch")) { - reviewers.add("seandewar"); reviewers.add("zeertzjq"); } |