Remove git prune

This step can be handled by Jenkins
2021-03-26 09:05:28 -07:00
parent 3393989702
commit 3ccdeb21f8
1 changed files with 0 additions and 1 deletions
@@ -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()