LCPQ/dft_tools
3
0
Fork 0
mirror of https://github.com/triqs/dft_tools synced 2024-12-23 04:43:42 +01:00
Code Issues Releases Wiki Activity

[jenkins] Rename docker repo to packaging

Browse Source
This commit is contained in:
Dylan Simon 2019-04-29 11:55:14 -04:00
parent c492078f77
commit debb784431
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Jenkinsfile vendored
View File

@ -110,9 +110,9 @@ try {
// note: credentials used above don't work (need JENKINS-28335) // note: credentials used above don't work (need JENKINS-28335)
sh "git push origin master || { git pull --rebase origin master && git push origin master ; }" sh "git push origin master || { git pull --rebase origin master && git push origin master ; }"
} }
/* Update docker repo submodule */ /* Update packaging repo submodule */
if (release) { dir("$workDir/docker") { try { if (release) { dir("$workDir/packaging") { try {
git(url: "ssh://git@github.com/TRIQS/docker.git", branch: env.BRANCH_NAME, credentialsId: "ssh", changelog: false) git(url: "ssh://git@github.com/TRIQS/packaging.git", branch: env.BRANCH_NAME, credentialsId: "ssh", changelog: false)
sh "test -d ${projectName}" sh "test -d ${projectName}"
sh "echo '160000 commit ${commit}\t${projectName}' | git update-index --index-info" sh "echo '160000 commit ${commit}\t${projectName}' | git update-index --index-info"
sh """ sh """
@ -122,7 +122,7 @@ try {
sh "git push origin ${env.BRANCH_NAME} || { git pull --rebase origin ${env.BRANCH_NAME} && git push origin ${env.BRANCH_NAME} ; }" sh "git push origin ${env.BRANCH_NAME} || { git pull --rebase origin ${env.BRANCH_NAME} && git push origin ${env.BRANCH_NAME} ; }"
} catch (err) { } catch (err) {
/* Ignore, non-critical -- might not exist on this branch */ /* Ignore, non-critical -- might not exist on this branch */
echo "Failed to update docker repo" echo "Failed to update packaging repo"
} } } } } }
} } } }
} } } }