From 6e19591998eed889a0acf73876531ad18f0f6685 Mon Sep 17 00:00:00 2001
From: Enno Gelhaus <egelhaus@ennogelhaus.de>
Date: Fri, 3 Oct 2025 14:35:15 +0200
Subject: [PATCH] Remove unnecessary options configuration from Jenkins
 pipeline for cleaner setup

---
 Jenkins/Build.Jenkinsfile   | 6 ------
 Jenkins/BuildPR.Jenkinsfile | 5 -----
 2 files changed, 11 deletions(-)

diff --git a/Jenkins/Build.Jenkinsfile b/Jenkins/Build.Jenkinsfile
index b4924c91..34d1d059 100644
--- a/Jenkins/Build.Jenkinsfile
+++ b/Jenkins/Build.Jenkinsfile
@@ -3,12 +3,6 @@ pipeline {
     // Defines the execution environment. Replace 'linux-agent' with your specific agent label.
     agent any
 
-    // Configure options, primarily to ensure full Git history is fetched for SonarQube and versioning.
-    options {
-        // Skip the default checkout to manage it explicitly and ensure fetch-depth: 0.
-        skipDefaultCheckout()
-    }
-
     stages {
         // Stage 1: Checkout the code with full history (fetch-depth: 0)
         stage('Source Checkout') {
diff --git a/Jenkins/BuildPR.Jenkinsfile b/Jenkins/BuildPR.Jenkinsfile
index 49a6b868..3840b726 100644
--- a/Jenkins/BuildPR.Jenkinsfile
+++ b/Jenkins/BuildPR.Jenkinsfile
@@ -2,11 +2,6 @@
 pipeline {
     // Defines the execution environment. Replace 'linux-agent' with your specific agent label.
     agent any
-    // Configure options, primarily to ensure full Git history is fetched for SonarQube and versioning.
-    options {
-        // Skip the default checkout to manage it explicitly and ensure fetch-depth: 0.
-        skipDefaultCheckout()
-    }
     
     // Environment variables that hold PR details (set automatically by Jenkins SCM plugins like Git/GitHub Branch Source)
     environment {