Code Review / ci-management.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 540aa02) | patch
CI: Repoint git sources to GitHub mirror 54/40054/1
authorAndrew Grimberg <[email protected]>
Mon, 4 Dec 2023 20:41:05 +0000 (12:41 -0800)
committerAndrew Grimberg <[email protected]>
Mon, 4 Dec 2023 20:41:05 +0000 (12:41 -0800)
commit85279e944f464abd5594a629f2975a636fa337ef
treec48779caa6aefc9ce84e84258032c6d318bfe760tree | snapshot
parent540aa023e109f942370a0ce0e0df6fa416815982commit | 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 <[email protected]>
jenkins-config/global-vars-production.sh diff | blob | history
jenkins-config/global-vars-sandbox.sh diff | blob | history
Management repo for Jenkins Job Builder, script and management related to the Jenkins CI configuration.