jenkins.sh: Fix printed URL of osmo-ci git repository
Change-Id: I043c2c613a3b204403f3b0fb41cab9f41bfc77fe
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index d9895ec..4565a80 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -7,7 +7,7 @@
#
if ! [ -x "$(command -v osmo-build-dep.sh)" ]; then
- echo "Error: We need to have scripts/osmo-deps.sh from http://git.osmocom.org/osmo-ci/ in PATH !"
+ echo "Error: We need to have scripts/osmo-deps.sh from https://gitea.osmocom.org/osmocom/osmo-ci in PATH !"
exit 2
fi