diff --git a/Jenkinsfile b/Jenkinsfile
index 4124807..ad8a12b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,6 +3,9 @@
    Yes. I'm aware. I have my reasons. Don't bug me about it.
 */
 pipeline {
+    options {
+        skipDefaultCheckout true
+    }
     agent any
     stages {
         stage('Everything') {