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 1932571428528f1852ae3c595b0249c9f17271b6..4a9769f76bb00951bccfde53ddad6bce51879675 100644 (file)
--- 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"