osmith has uploaded this change for review. ( https://gerrit.osmocom.org/c/osmo-ci/+/37437?usp=email )

Change subject: obs: use specific mirror ......................................................................

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)