From 3ed2c6eb4524b00ce6e5901f209e3db5bdd9fea0 Mon Sep 17 00:00:00 2001
From: "D.R.racer" <drracer@drracer.eu>
Date: Thu, 13 Jul 2023 16:17:22 +0200
Subject: [PATCH] Update build server config

---
 utils/holly/Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/holly/Jenkinsfile b/utils/holly/Jenkinsfile
index 714ca7d..de1733f 100644
--- 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} \