diff options
Diffstat (limited to 'infra/get-dm-txt')
| -rwxr-xr-x | infra/get-dm-txt | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/infra/get-dm-txt b/infra/get-dm-txt index 0b9ab10..edc435b 100755 --- a/infra/get-dm-txt +++ b/infra/get-dm-txt @@ -8,7 +8,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 --default '' \ + dgit-distro.debian.archive-query-tls-curl-ca-args \ || (echo >&2 "git config failed"; exit 1)) with-lock-ex -f $file.lock sh -c " |