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)
12 with-lock-ex -f $file.lock sh -c "
14 >$file.new https://$server/$path 2>$file.stderr; then