pylint github

inducer · Nov 11, 2024 · b54217d · b54217d
1 parent 5e5be1d
commit b54217d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/run-pylint.sh b/run-pylint.sh
@@ -2,10 +2,10 @@
 
 set -o errexit -o nounset
 
-ci_support="https://gitlab.tiker.net/inducer/ci-support/raw/main"
+ci_support="https://raw.githubusercontent.com/inducer/ci-support/refs/heads/main/"
 
 if [[ ! -f .pylintrc.yml ]]; then
-    curl -o .pylintrc.yml "${ci_support}/.pylintrc-default.yml"
+    curl -L -o .pylintrc.yml "${ci_support}/.pylintrc-default.yml"
 fi