From b54217de82df88a1878efa6cd7ff5f601607cd35 Mon Sep 17 00:00:00 2001 From: Matthias Diener Date: Mon, 11 Nov 2024 14:36:51 -0600 Subject: [PATCH] pylint github --- run-pylint.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/run-pylint.sh b/run-pylint.sh index da9c4ad46..5297d009c 100755 --- 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