From ebe0df56422256565f85b29f78fe59d35656f94e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 28 Jun 2015 23:07:41 +0100
Subject: [PATCH] Infra: get-dm-txt: Report if git-config fails

---
 infra/get-dm-txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/infra/get-dm-txt b/infra/get-dm-txt
index 02e73f0e..32e89bb8 100755
--- 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 \
-- 
2.30.2