diff --git a/Jenkinsfile b/Jenkinsfile
index 048f4d7..0a793e0 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -31,8 +31,9 @@ pipeline {
       }
     }
     stage('Publish Docs') {
-      agent { label 'web' }
       when { branch 'release' }
+      agent { label 'web' }
+      options { skipDefaultCheckout() }
       steps {
         unstash 'site'
         sh 'rm -rf /var/www/MLEM/*'