Merge pull request #8233 from vector-im/dbkr/fetch_develop_deps_return

Add returns to fetch-develop-deps
This commit is contained in:
David Baker 2019-01-23 14:29:53 +00:00 committed by GitHub
commit 697c7f9fe9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -27,7 +27,9 @@ function clone() {
echo "Trying to use $org/$repo#$branch"
git clone https://github.com/$org/$repo.git $repo --branch $branch \
"${GIT_CLONE_ARGS[@]}"
return $?
fi
return 1
}
function dodep() {