[PATCH 2/2] CI: Allow a mirror to be specified for Docker Hub

[Peter Hoyes]

From: Peter Hoyes <Peter.Hoyes at arm.com>

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 at arm.com>
---
 .gitlab-ci.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d54694e016..f6bcd30124 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,6 +2,7 @@
 
 variables:
   DEFAULT_TAG: ""
+  MIRROR_DOCKER: docker.io
 
 default:
   tags:
@@ -9,7 +10,7 @@ default:
 
 # Grab our configured image.  The source for this is found
 # in the u-boot tree at tools/docker/Dockerfile
-image: trini/u-boot-gitlab-ci-runner:jammy-20230126-10Feb2023
+image: ${MIRROR_DOCKER}/trini/u-boot-gitlab-ci-runner:jammy-20230126-10Feb2023
 
 # We run some tests in different order, to catch some failures quicker.
 stages:
-- 
2.34.1