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: I03f6fc3e66b7ecab92c656b7d684d974c67593b3
Signed-off-by: Andrew Grimberg <agrimberg@linuxfoundation.org>

diff --git a/jenkins-config/global-vars-production.sh b/jenkins-config/global-vars-production.sh
index 3d8b1f3..8aa47a8 100644 (file)
--- 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

diff --git a/jenkins-config/global-vars-sandbox.sh b/jenkins-config/global-vars-sandbox.sh
index 6c2057c..c4453d9 100644 (file)
--- a/jenkins-config/global-vars-sandbox.sh
+++ b/jenkins-config/global-vars-sandbox.sh
@@ -1,7 +1,7 @@
 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
+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-2
 PACKAGECLOUDPROXY=https://packagecloud.io/fdio
 PCIO_CO=fdio