From 57341a3712dae1b19a1a076b3e35068923165868 Mon Sep 17 00:00:00 2001 From: Andrew Grimberg Date: Mon, 4 Dec 2023 12:41:05 -0800 Subject: CI: Repoint git sources to GitHub mirror The local gitolite mirror has been having semi-regular issues with multiple jobs accessing it at the same time. As of November 28, 2023 all repos are properly mirroring to GitHub so we'll use them as a mirror instead. Change-Id: I7cffe69bd819bb1b42ea33003d711caffeb96001 Signed-off-by: Andrew Grimberg --- jenkins-config/global-vars-production.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'jenkins-config/global-vars-production.sh') diff --git a/jenkins-config/global-vars-production.sh b/jenkins-config/global-vars-production.sh index 3d8b1f392..8aa47a8cb 100644 --- a/jenkins-config/global-vars-production.sh +++ b/jenkins-config/global-vars-production.sh @@ -1,7 +1,7 @@ DOCKER_REGISTRY=https://jenkins.fd.io -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 +GERRIT_URL=https://github.com/FDio/$PROJECT +GIT_BASE=https://github.com/FDio/$PROJECT +GIT_URL=https://github.com/FDio JENKINS_HOSTNAME=vex-yul-rot-jenkins-1 PACKAGECLOUDPROXY=https://packagecloud.io/fdio PCIO_CO=fdio -- cgit 1.2.3-korg