Remove git prune step

main
Brian Herrera 5 years ago committed by GitHub
parent 91ae6d2771
commit 4eae31c376
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -343,7 +343,6 @@ def CheckoutRepo(boolean disableSubmodules = false) {
if(fileExists(indexLockFile)) { // if it is still there, remove it
palRm(indexLockFile)
}
palSh('git remote prune origin', 'Git reset')
}
}

Loading…
Cancel
Save