CI: Stop working around httpredir.debian.org

All Debian Docker images from the last few years use deb.debian.org,
which is reliable, by default.

Signed-off-by: Simon McVittie <smcv@collabora.com>

diff --git a/tools/ci-install.sh b/tools/ci-install.sh
index d4980f4984717c9f523510b6810e0c1a07c16f6c..b0778c241099408de98088058ea81c153274f0bb 100755 (executable)
--- a/tools/ci-install.sh
+++ b/tools/ci-install.sh
@@ -82,11 +82,6 @@ case "$ci_distro" in
         # Don't ask questions, just do it
         sudo="$sudo env DEBIAN_FRONTEND=noninteractive"
 
-        # Debian Docker images use httpredir.debian.org but it seems to be
-        # unreliable; use a CDN instead
-        $sudo sed -i -e 's/httpredir\.debian\.org/deb.debian.org/g' \
-            /etc/apt/sources.list
-
         case "$ci_host" in
             (i686-w64-mingw32)
                 $sudo dpkg --add-architecture i386