update Git URL in Jenkinsfile

This commit is contained in:
Timothée Alby 2019-05-07 17:45:10 +01:00 committed by GitHub
parent d8ada98704
commit ddd53dec6b

View file

@ -4,10 +4,10 @@ pipeline {
agent any agent any
environment { environment {
GIT_PROJECT = "spelling-sharelatex" GIT_PROJECT = "spelling"
JENKINS_WORKFLOW = "spelling-sharelatex" JENKINS_WORKFLOW = "spelling-sharelatex"
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 {