chiark / gitweb /
dgit: Once again cope with archive skew
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Sep 2019 20:03:57 +0000 (21:03 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Sep 2019 21:12:06 +0000 (22:12 +0100)
commit9b22c0de92ec58e5469d789c3d875098e2a82924
treeacbd7b406b6ef9cd77c83ffc7fc38e9bb6a41319
parente42f3ccb4157d214993f7b68125ee3d6d6a6dde5
dgit: Once again cope with archive skew

Since our http rearrangements, we have lost the ability to try
multiple dsc versions which means we cope badly with archive skew.

This was an editing error: in 7821907696db
   dgit: Abolish url_get in favour of url_fetch
we omitted to notice that url_get implicitly does what url_fetch needs
Ok404 to do.  So we didn't add the Ok404 parameter.

Fix this by adding it now.

Closes: #935874
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
dgit