From d811d5ba1e05fafe9ae74f8b53a5d7dcbcfda170 Mon Sep 17 00:00:00 2001
From: Michael Tremer <michael.tremer@ipfire.org>
Date: Thu, 5 Dec 2024 10:44:53 +0000
Subject: [PATCH] jenkins: Skip checking our the source when mastering the
 repository

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>
---
 Jenkinsfile | 5 +++++
 1 file changed, 5 insertions(+)

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"
 
-- 
2.39.5