From c300fea4ea42bd79d01fd67063cd6efc39ecc929 Mon Sep 17 00:00:00 2001 From: Dylan Simon Date: Fri, 22 Jun 2018 11:07:34 -0400 Subject: [PATCH] [jenkins] move docs to separate gh-pages repo --- Jenkinsfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 4befd5c0..34a516fe 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -86,18 +86,18 @@ try { def commit = sh(returnStdout: true, script: "git rev-parse HEAD").trim() def workDir = pwd() dir("$workDir/gh-pages") { - def subdir = env.BRANCH_NAME - git(url: "ssh://git@github.com/TRIQS/${projectName}.git", branch: "gh-pages", credentialsId: "ssh", changelog: false) + def subdir = "${projectName}/${env.BRANCH_NAME}" + git(url: "ssh://git@github.com/TRIQS/TRIQS.github.io.git", branch: "master", credentialsId: "ssh", changelog: false) sh "rm -rf ${subdir}" docker.image("flatironinstitute/${projectName}:${env.BRANCH_NAME}-${documentationPlatform}").inside() { sh "cp -rp \$INSTALL/share/doc/${projectName} ${subdir}" } sh "git add -A ${subdir}" sh """ - git commit --author='Flatiron Jenkins ' --allow-empty -m 'Generated documentation for ${env.BRANCH_NAME}' -m '${env.BUILD_TAG} ${commit}' + git commit --author='Flatiron Jenkins ' --allow-empty -m 'Generated documentation for ${subdir}' -m '${env.BUILD_TAG} ${commit}' """ // note: credentials used above don't work (need JENKINS-28335) - sh "git push origin gh-pages" + sh "git push origin master" } dir("$workDir/docker") { try { git(url: "ssh://git@github.com/TRIQS/docker.git", branch: env.BRANCH_NAME, credentialsId: "ssh", changelog: false)