From f0df67fb86dff560f63a7f01b2517ffb3dfccc20 Mon Sep 17 00:00:00 2001
From: Daniel Mann <daniel.mann@polizei.niedersachsen.de>
Date: Wed, 2 Jul 2025 08:12:56 +0200
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 12f7d92..2035c83 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -33,7 +33,7 @@ pipeline {
         stage('Validate Repository') {
             steps {
                 script {
-                    checkRepoName(params.REPO_NAME)
+                    checkRepoName(params.REPO_NAME, true) //@jared: The "true" means, do not build PR's!
                 }
             }
         }