Harald Welte 20408d3ec0 contrib/jenkins.sh: Switch from rita -> ftp.osmocom.org ... We should use service-aliases and not the primary host name, as that makes migration between machines hard. Change-Id: Idd49f27c9b08c6cfd077f85276a3dedc4cf117ef		2021-04-22 11:23:43 +02:00
..
jenkins.sh	contrib/jenkins.sh: Switch from rita -> ftp.osmocom.org	2021-04-22 11:23:43 +02:00