diff options
Diffstat (limited to 'jenkins-config/global-vars-production.sh')
| -rw-r--r-- | jenkins-config/global-vars-production.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/jenkins-config/global-vars-production.sh b/jenkins-config/global-vars-production.sh index d880bcfb7..460475001 100644 --- a/jenkins-config/global-vars-production.sh +++ b/jenkins-config/global-vars-production.sh @@ -1,5 +1,6 @@ DOCKER_REGISTRY=https://jenkins.fd.io/sandbox/ GERRIT_URL=git://10.30.48.3/mirror/$PROJECT +GIT_BASE=git://10.30.48.3/mirror/$PROJECT GIT_URL=git://10.30.48.3/mirror JENKINS_HOSTNAME=vex-yul-rot-jenkins-1 LOGS_SERVER=https://logs.fd.io |