Build failed in Jenkins: registry-update-base-images #4

See <https://jenkins.osmocom.org/jenkins/job/registry-update-base-images/4/display/redirect> Changes: ------------------------------------------ Started by timer Running as SYSTEM Building remotely on admin2-deb9build (ttcn3 osmo-gsm-tester-build osmocom-gerrit-debian9 osmocom-master-debian9 coverity) in workspace <https://jenkins.osmocom.org/jenkins/job/registry-update-base-images/ws/> [registry-update-base-images] $ /bin/sh -xe /tmp/jenkins5987388568045535390.sh + REGISTRY=registry.osmocom.org + IMAGES=debian:stretch debian:buster debian:jessie debian:sid ubuntu:zesty centos:centos8 + src=debian:stretch + dst=registry.osmocom.org/debian:stretch + echo + echo ======= debian:stretch ======= debian:stretch + docker pull debian:stretch Error response from daemon: Get https://registry-1.docker.io/v2/library/debian/manifests/stretch: EOF Build step 'Execute shell' marked build as failure