CI: OBS: centos7: use vault.centos.org

The centos7 images try to use mirrorlist.centos.org to determine the
fastest mirror, and then download binary packages from there. But
mirrorlist.centos.org isn't online anymore. Use the vault instead.

Without this patch, the mirrors that can't be reached are ignored, and
later on it fails to properly install packages because of missing
dependencies.

Related: docker-playground I0a8f93bb16dd9245760b8a1ad53f0642d446b4cf
Change-Id: I2489fe1d6edf969e55e154bca4b6d961da2a9d94
---
M scripts/obs/data/build_binpkg.Dockerfile
1 file changed, 23 insertions(+), 0 deletions(-)

diff --git a/scripts/obs/data/build_binpkg.Dockerfile b/scripts/obs/data/build_binpkg.Dockerfile
index b29d8f9..66f1feb 100644
--- a/scripts/obs/data/build_binpkg.Dockerfile
+++ b/scripts/obs/data/build_binpkg.Dockerfile
@@ -52,6 +52,11 @@
 		su user -c rpmdev-setuptree \
 		;; \
 	centos:7) \
+		set -x && \
+		sed -i 's/mirror.centos.org/vault.centos.org/g' /etc/yum.repos.d/*.repo && \
+		sed -i 's/^#.*baseurl=http/baseurl=http/g' /etc/yum.repos.d/*.repo && \
+		sed -i 's/^mirrorlist=http/#mirrorlist=http/g' /etc/yum.repos.d/*.repo && \
+		\
 		yum -y install \
 			autoconf \
 			automake \

