Update build server config

2023-07-13 16:17:22 +02:00 · 2023-07-13 16:17:22 +02:00 · 3ed2c6eb45
parent 1633d9af9b
commit 3ed2c6eb45
1 changed files with 1 additions and 0 deletions
--- a/utils/holly/Jenkinsfile
+++ b/utils/holly/Jenkinsfile
@ -78,6 +78,7 @@ pipeline {
            steps {
                sh """
                export XDG_CACHE_HOME=\$PWD/.precommit
+                git config --unset-all core.hooksPath
                pre-commit install
                pre-commit run \
                    --source remotes/origin/${env.CHANGE_TARGET} \