From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 10:44:53 +0000 (+0000)
Subject: jenkins: Skip checking our the source when mastering the repository
X-Git-Tag: 0.9.30~757
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=d811d5ba1e05fafe9ae74f8b53a5d7dcbcfda170;p=pakfire.git

jenkins: Skip checking our the source when mastering the repository

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---

diff --git a/Jenkinsfile b/Jenkinsfile
index 193257142..4a9769f76 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -413,6 +413,11 @@ pipeline {
 				stage("Master Debian Repository") {
 					agent any
 
+					// We don't need to check out the source for this stage
+					options {
+						skipDefaultCheckout()
+					}
+
 					environment {
 						GNUPGHOME = "${WORKSPACE}/.gnupg"