From ff961f6a9b69ceebb1a14ccd53d36717642a6313 Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Fri, 3 Dec 2021 17:09:11 +0100
Subject: [PATCH] jenkins-common.sh: pull registry.osmocom.org imgs

Pull debian-stretch-titan from registry.osmocom.org if the repository is
enabled. Otherwise the image gets only pulled the first time, and does
not get updated once it becomes outdated.

Fixes: OS#5336
Change-Id: I1cf998c21e4ee1f723c3b783703e339328377f3e
---
 jenkins-common.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/jenkins-common.sh b/jenkins-common.sh
index 88d053c0..3511c020 100644
--- a/jenkins-common.sh
+++ b/jenkins-common.sh
@@ -121,10 +121,12 @@ docker_images_require() {
 
 	for i in $@; do
 		# Don't build images that are available on the private
-		# registry, if using it.
+		# registry, if using it. Instead, pull the images to make sure
+		# they are up-to-date.
 		if [ "$REGISTRY_HOST" = "registry.osmocom.org" ]; then
 			case "$i" in
 			debian-stretch-titan)
+				docker pull "$REGISTRY_HOST/$USER/$i"
 				continue
 				;;
 			esac