diff options
author | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2023-12-04 12:41:05 -0800 |
---|---|---|
committer | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2023-12-05 10:17:09 -0800 |
commit | 57341a3712dae1b19a1a076b3e35068923165868 (patch) | |
tree | b7b4aa1388ca77231c855ca071d0467e0dc285a1 /jenkins-config/global-vars-production.sh | |
parent | 365877d01f7e5b9a8d587455916116dac1c9cea4 (diff) |
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 <agrimberg@linuxfoundation.org>
Diffstat (limited to 'jenkins-config/global-vars-production.sh')
-rw-r--r-- | jenkins-config/global-vars-production.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/jenkins-config/global-vars-production.sh b/jenkins-config/global-vars-production.sh index 3d8b1f39..8aa47a8c 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 |