From a5903004945d6ad930038ba030e1b82b58b55183 Mon Sep 17 00:00:00 2001
From: Robert Jacob <xperimental@solidproject.de>
Date: Sat, 8 Jul 2017 22:45:30 +0200
Subject: [PATCH] Skip default checkout.

---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 495c856..b5c2417 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,5 +1,8 @@
 pipeline {
   agent any
+  options {
+    skipDefaultCheckout()
+  }
   stages {
     stage('Cleanup') {
       steps {