Infra: get-dm-txt: Report if git-config fails

diff --git a/infra/get-dm-txt b/infra/get-dm-txt
index 02e73f0e0dddf5ab10bdc1941bb0589ecef02bec..32e89bb8bbb4891e4f10f41ea0b791827d3d75f3 100755 (executable)
--- a/infra/get-dm-txt
+++ b/infra/get-dm-txt
@@ -7,7 +7,8 @@ file=dm.txt
 server=ftp-master.debian.org
 path=$file
 
-certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args)
+certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args \
+       || (echo >&2 "git config failed"; exit 1))
 
 with-lock-ex -f $file.lock sh -c "
        if ! curl $certargs \