| commit | 08ed84ec36fdfacd033856e9b59ae7d3e477f970 | [log] [tgz] |
|---|---|---|
| author | Peter Hoyes <Peter.Hoyes@arm.com> | Fri Mar 10 09:53:03 2023 +0000 |
| committer | Tom Rini <trini@konsulko.com> | Tue Mar 21 21:04:09 2023 -0400 |
| tree | bc0190916180ae056973a829ffab763d2fc52868 | |
| parent | b0722af1e524f7866f7db574b5c720bb0b01640f [diff] |
CI: Allow a mirror to be specified for Docker Hub To conserve bandwidth and potentially avoid rate limits, allow a local mirror of Docker Hub to be specified globally. The default value is unchanged. Signed-off-by: Peter Hoyes <Peter.Hoyes@arm.com> Reviewed-by: Simon Glass <sjg@chromium.org> Reviewed-by: Tom Rini <trini@konsulko.com>