[PATCH] osmo-ci[master]: Change used protocoll for 'git ls-remote' call from https to...

This is merely a historical archive of years 2008-2021, before the migration to mailman3.

A maintained and still updated list archive can be found at https://lists.osmocom.org/hyperkitty/list/gerrit-log@lists.osmocom.org/.

André Boddenberg gerrit-no-reply at lists.osmocom.org
Mon Sep 4 18:26:52 UTC 2017


Review at  https://gerrit.osmocom.org/3822

Change used protocoll for 'git ls-remote' call from https to git.

Otherwise script depends on availability of https://git.osmocom.org, which is currently down.

Change-Id: Icf2a6b425177ef24aef1dba6e270d36fdc05d214
---
M scripts/osmo-build.sh
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.osmocom.org:29418/osmo-ci refs/changes/22/3822/1

diff --git a/scripts/osmo-build.sh b/scripts/osmo-build.sh
index 8ca8e47..39cbae6 100644
--- a/scripts/osmo-build.sh
+++ b/scripts/osmo-build.sh
@@ -172,7 +172,7 @@
 branch_and_rev_of_remote_repo() {
 	if [ -z "${2+x}" ]; then branch="master"; else branch="$2"; fi
 	branch="$( echo "$branch" | tr '/' '_')"
-	rev="$(git ls-remote "https://git.osmocom.org/$1" "refs/heads/$branch")"
+	rev="$(git ls-remote "git://git.osmocom.org/$1" "refs/heads/$branch")"
 
 	# check whether branch is a tag
 	if [ "$rev" = "" ]; then

-- 
To view, visit https://gerrit.osmocom.org/3822
To unsubscribe, visit https://gerrit.osmocom.org/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Icf2a6b425177ef24aef1dba6e270d36fdc05d214
Gerrit-PatchSet: 1
Gerrit-Project: osmo-ci
Gerrit-Branch: master
Gerrit-Owner: André Boddenberg <dr.blobb at gmail.com>



More information about the gerrit-log mailing list