From 4b8a27a2207c23a4b1b723822ce438480b789559 Mon Sep 17 00:00:00 2001 From: Henry Oswald Date: Tue, 7 May 2019 14:00:45 +0100 Subject: [PATCH] change github url --- services/document-updater/Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/services/document-updater/Jenkinsfile b/services/document-updater/Jenkinsfile index 9ec298487b..c8e5e33a50 100644 --- a/services/document-updater/Jenkinsfile +++ b/services/document-updater/Jenkinsfile @@ -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 {