From 65b3b171f19fcc216ec6de0c18342b21f837f8ab Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Wed, 5 Aug 2020 19:06:54 -0700
Subject: [PATCH] remove that

---
 Jenkinsfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index bc796aeee8..0fd2b00a4d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,9 +53,6 @@ pipeline {
               args '--privileged --shm-size=1G --user=root'
             }
           }
-          options {
-            skipDefaultCheckout true
-          }
           stages {
             stage('Build') {
               steps {