This allows easily changing to another osmocom repo base URL if the default one is down. Related: OS#4862 Change-Id: I8010b08f3dabacfb3c13a44eece6c7a490e0742e
Change-Id: Ie93b81a8a9206c47c4e4d4834fc5c03d9bf4254c
Change-Id: Iafcf9639f7e44f19220a9d0f375444b168a6a392