[S] Change in osmo-ci[master]: obs: use specific mirror

Attention is currently required from: osmith. Hello Jenkins Builder, I'd like you to reexamine a change. Please visit https://gerrit.osmocom.org/c/osmo-ci/+/37437?usp=email to look at the new patch set (#2). Change subject: obs: use specific mirror ...................................................................... obs: use specific mirror Use debian.inf.tu-dresden.de (which has a proper TLS certificate) instead of the generic ftp.de.debian.org. 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/2 -- To view, visit https://gerrit.osmocom.org/c/osmo-ci/+/37437?usp=email To unsubscribe, or for help writing mail filters, visit https://gerrit.osmocom.org/settings Gerrit-Project: osmo-ci Gerrit-Branch: master Gerrit-Change-Id: Iee06b6c6cc418a1b2f4eba094704c6e5e156799c Gerrit-Change-Number: 37437 Gerrit-PatchSet: 2 Gerrit-Owner: osmith <osmith(a)sysmocom.de> Gerrit-Reviewer: Jenkins Builder Gerrit-CC: lynxis lazus <lynxis(a)fe80.eu> Gerrit-Attention: osmith <osmith(a)sysmocom.de> Gerrit-MessageType: newpatchset