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>
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
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