From 4ccaa3bf2fddf242136322ba1ef7f63c0c554f04 Mon Sep 17 00:00:00 2001 From: Tim Alby Date: Tue, 7 May 2019 18:31:54 +0200 Subject: [PATCH] update Git URL in Jenkinsfile --- services/clsi/Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/services/clsi/Jenkinsfile b/services/clsi/Jenkinsfile index d82360d48d..f5b5f1df78 100644 --- a/services/clsi/Jenkinsfile +++ b/services/clsi/Jenkinsfile @@ -4,10 +4,10 @@ pipeline { agent any environment { - GIT_PROJECT = "clsi-sharelatex" + GIT_PROJECT = "clsi" JENKINS_WORKFLOW = "clsi-sharelatex" 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 {