osmith has uploaded this change for review.

View Change

obs: use specific mirror

Use debian.inf.tu-dresden.de instead of the generic ftp.de.debian.org.
See the related issue for detailed reasoning.

Closes: OS#6499
Change-Id: Iee06b6c6cc418a1b2f4eba094704c6e5e156799c
---
M scripts/obs/sync_obs_projects.py
1 file changed, 17 insertions(+), 3 deletions(-)

git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/37/37437/1

diff --git a/scripts/obs/sync_obs_projects.py b/scripts/obs/sync_obs_projects.py
index cc4635a..beb3e09 100755
--- a/scripts/obs/sync_obs_projects.py
+++ b/scripts/obs/sync_obs_projects.py
@@ -182,15 +182,16 @@
         # (e.g. <pubkey>debian-archive-12</pubkey>):
         # https://github.com/openSUSE/open-build-service/pull/14528
         # Also we don't have such a pubkeydir set up on our OBS server. Assume
-        # ftp.de.debian.org is a trusted mirror, switch to HTTPS and skip the
-        # PGP verification by removing the pubkey blocks.
+        # https://debian.inf.tu-dresden.de/ is a trusted mirror, switch to
+        # HTTPS and skip the PGP verification by removing the pubkey blocks.
         if project.startswith("Debian:"):
             for download in repository.findall(".download"):
                 url = download.get("url")
                 print(f"    changing url to https: {url}")
                 assert url.startswith("http://ftp.de.debian.org/debian"), \
                         f"unexpected mirror URL"
-                download.set("url", url.replace("http://", "https://"))
+                download.set("url", url.replace("http://ftp.de.debian.org/debian",
+                                                "https://debian.inf.tu-dresden.de/debian"))
                 for pubkey in download.findall("pubkey"):
                     download.remove(pubkey)
 

To view, visit change 37437. To unsubscribe, or for help writing mail filters, visit settings.