fdo-mirrors/NetworkManager
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/NetworkManager/NetworkManager.git synced 2025-12-31 10:10:14 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

automation: clone from github instead of anongit.freedesktop.org

Browse source 
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
This commit is contained in:
Vladimir Benes 2017-02-14 12:06:54 +01:00 • committed by Thomas Haller
parent b0870096f2
commit ae8e191d88
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
contrib/rh-bkr/build-from-source.sh
View file

@ -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}"