From f8a021a8f0b77cbc8b2f7e724d4222fc8079e571 Mon Sep 17 00:00:00 2001
From: Harrison Deng <yunyangdeng@gmail.com>
Date: Wed, 19 Jan 2022 20:01:43 -0600
Subject: [PATCH] Updated git credentials for Jenkins pipeline.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index aa1044f..32529f7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -5,7 +5,7 @@ pipeline {
             steps {
                 sh 'git checkout delta'
                 sh 'git reset --hard origin/delta'
-                sshagent(['2e60e630-b240-4c78-87ce-cb2c33d70180']) {
+                sshagent(['359ebf7c-e2b9-45ec-992c-ff8d5549deb6']) {
                     sh 'git fetch --prune --prune-tags'
                     sh 'git pull --force origin delta'
                 }