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 <[email protected]>
