update repo URL for Jenkins

This commit is contained in:
Tim Alby 2019-05-07 16:44:56 +02:00
parent 70c505830b
commit d316f172bf

View file

@ -4,10 +4,10 @@ pipeline {
agent any agent any
environment { environment {
GIT_PROJECT = "document-updater-sharelatex" GIT_PROJECT = "document-updater"
JENKINS_WORKFLOW = "document-updater-sharelatex" JENKINS_WORKFLOW = "document-updater-sharelatex-internal"
TARGET_URL = "${env.JENKINS_URL}blue/organizations/jenkins/${JENKINS_WORKFLOW}/detail/$BRANCH_NAME/$BUILD_NUMBER/pipeline" TARGET_URL = "${env.JENKINS_URL}blue/organizations/jenkins/${JENKINS_WORKFLOW}/detail/$BRANCH_NAME/$BUILD_NUMBER/pipeline"
GIT_API_URL = "https://api.github.com/repos/sharelatex/${GIT_PROJECT}/statuses/$GIT_COMMIT" GIT_API_URL = "https://api.github.com/repos/overleaf/${GIT_PROJECT}/statuses/$GIT_COMMIT"
} }
triggers { triggers {