Removed unecessary Jenkins pipeline commands.

2022-01-19 21:34:08 -06:00
parent f8a021a8f0
commit 14dfd2829b
1 changed files with 0 additions and 4 deletions
--- a/4
+++ b/4
@@ -5,10 +5,6 @@ pipeline {
            steps {
                sh 'git checkout delta'
                sh 'git reset --hard origin/delta'
-                sshagent(['359ebf7c-e2b9-45ec-992c-ff8d5549deb6']) {
-                    sh 'git fetch --prune --prune-tags'
-                    sh 'git pull --force origin delta'
-                }
                sh 'git clean -fd'
            }
        }