4 cd ${DGIT_INFRA_GETDMTXT_DATADIR-/srv/dgit.debian.org/data}
7 server=ftp-master.debian.org
10 certargs=$(git config dgit-distro.debian.archive-query-tls-curl-ca-args \
11 || (echo >&2 "git config failed"; exit 1))
13 with-lock-ex -f $file.lock sh -c "
15 >$file.new https://$server/$path 2>$file.stderr; then