diff options
| author |   Andrew Grimberg <agrimberg@linuxfoundation.org> | 2023-12-04 12:41:05 -0800 |
|---|---|---|
| committer | Andrew Grimberg <agrimberg@linuxfoundation.org> | 2023-12-05 10:17:09 -0800 |
| commit | 57341a3712dae1b19a1a076b3e35068923165868 (patch) | |
| tree | b7b4aa1388ca77231c855ca071d0467e0dc285a1 /jjb | |
| parent | 365877d01f7e5b9a8d587455916116dac1c9cea4 (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>
Diffstat (limited to 'jjb')
0 files changed, 0 insertions, 0 deletions