Update Jenkinsfile

jenkinsci · Aug 8, 2019 · a0895ea · a0895ea
1 parent 18abfe3
commit a0895ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 node('linux') {  
     stage('pre-commit') {
-            checkout scm
+            infra.checkout(null)
             sh '''
                git --version
                curl https://pre-commit.com/install-local.py | python -