From ae8e191d88607d1bd3ef8c00e19cb7d88e0b2ffc Mon Sep 17 00:00:00 2001 From: Vladimir Benes Date: Tue, 14 Feb 2017 12:06:54 +0100 Subject: [PATCH] automation: clone from github instead of anongit.freedesktop.org It looks that freedesktop blocks our git clone requests from time to time. Github should handle more loads. https://github.com/NetworkManager/NetworkManager/pull/13 --- contrib/rh-bkr/build-from-source.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/contrib/rh-bkr/build-from-source.sh b/contrib/rh-bkr/build-from-source.sh index b26a4a19a3..72db57c733 100755 --- a/contrib/rh-bkr/build-from-source.sh +++ b/contrib/rh-bkr/build-from-source.sh @@ -5,7 +5,7 @@ set -xv BUILD_DIR="${BUILD_DIR:-/tmp/nm-build}" BUILD_ID="${BUILD_ID:-master}" -BUILD_REPO="${BUILD_REPO-git://anongit.freedesktop.org/NetworkManager/NetworkManager}" +BUILD_REPO="${BUILD_REPO-https://github.com/NetworkManager/NetworkManager.git}" ARCH="${ARCH:-`arch`}" WITH_DEBUG="$WITH_DEBUG" DO_TEST_BUILD="${DO_TEST_BUILD:-yes}"