ydeng/rsemcs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated git credentials for Jenkins pipeline.

Browse Source
This commit is contained in:
Harrison Deng
2022-01-19 20:01:43 -06:00
parent f907f2453f
commit f8a021a8f0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

@@ -5,7 +5,7 @@ pipeline {
steps { steps {
sh 'git checkout delta' sh 'git checkout delta'
sh 'git reset --hard origin/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 fetch --prune --prune-tags'
sh 'git pull --force origin delta' sh 'git pull --force origin delta'
} }