tree bc0190916180ae056973a829ffab763d2fc52868
parent b0722af1e524f7866f7db574b5c720bb0b01640f
author Peter Hoyes <Peter.Hoyes@arm.com> 1678441983 +0000
committer Tom Rini <trini@konsulko.com> 1679447049 -0400

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>