Code Review / ci-management.git / commit
? search:
summary | shortlog | log | commit | commitdiff | review | tree
(parent: 365877d) | patch
CI: Repoint git sources to GitHub mirror 66/40066/1
authorAndrew Grimberg <agrimberg@linuxfoundation.org>
Mon, 4 Dec 2023 20:41:05 +0000 (12:41 -0800)
committerAndrew Grimberg <agrimberg@linuxfoundation.org>
Tue, 5 Dec 2023 18:17:09 +0000 (10:17 -0800)
commit57341a3712dae1b19a1a076b3e35068923165868
treeb7b4aa1388ca77231c855ca071d0467e0dc285a1tree | snapshot
parent365877d01f7e5b9a8d587455916116dac1c9cea4commit | 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>
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.