change github url

This commit is contained in:
Henry Oswald 2019-05-07 14:00:45 +01:00
parent daca83a057
commit 4b8a27a220

View file

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