From 3ccdeb21f85c8fc35ccb2c1d69c8094971d7120e Mon Sep 17 00:00:00 2001 From: Brian Herrera Date: Fri, 26 Mar 2021 09:05:28 -0700 Subject: [PATCH] Remove git prune This step can be handled by Jenkins --- AutomatedReview/Jenkinsfile | 1 - 1 file changed, 1 deletion(-) diff --git a/AutomatedReview/Jenkinsfile b/AutomatedReview/Jenkinsfile index 0502126cf7..43272ebb49 100644 --- a/AutomatedReview/Jenkinsfile +++ b/AutomatedReview/Jenkinsfile @@ -325,7 +325,6 @@ def CheckoutRepo(boolean disableSubmodules = false) { if(fileExists(indexLockFile)) { // if it is still there, remove it palRm(indexLockFile, 'Remove index.lock') } - palSh('git remote prune origin', 'Git reset') } def random = new Random()