From 14dfd2829b9db44c1086a7751edb761a6dfe7ad2 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Wed, 19 Jan 2022 21:34:08 -0600
Subject: [PATCH] Removed unecessary Jenkins pipeline commands.

---
 Jenkinsfile | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 32529f7..7a2c742 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -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'
             }
         }