Merge pull request #9222 from jryans/git-proto

Switch to `git` protocol for CI dependencies
2019-03-20 20:53:19 +00:00
parent 82d7457168 52ad757cf4
commit 38a24bf4ce
1 changed files with 1 additions and 1 deletions
--- a/scripts/fetch-develop.deps.sh
+++ b/scripts/fetch-develop.deps.sh
@@ -25,7 +25,7 @@ function clone() {
    if [ -n "$branch" ]
    then
        echo "Trying to use $org/$repo#$branch"
-        git clone https://github.com/$org/$repo.git $repo --branch $branch \
+        git clone git://github.com/$org/$repo.git $repo --branch $branch \
            "${GIT_CLONE_ARGS[@]}"
        return $?
    fi