diff options
| author |   Andrew Grimberg <agrimberg@linuxfoundation.org> | 2023-12-04 12:41:05 -0800 |
|---|---|---|
| committer | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2023-12-04 12:41:05 -0800 |
| commit | 85279e944f464abd5594a629f2975a636fa337ef (patch) | |
| tree | c48779caa6aefc9ce84e84258032c6d318bfe760 /jenkins-config/global-vars-production.sh | |
| parent | 540aa023e109f942370a0ce0e0df6fa416815982 (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: I03f6fc3e66b7ecab92c656b7d684d974c67593b3
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 |