Skip to content

Commit

Permalink
Use the right CI branch
Browse files Browse the repository at this point in the history
  • Loading branch information
turt2live committed Mar 14, 2019
1 parent 1fb8b23 commit e235b2c
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions scripts/fetch-develop.deps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -40,9 +40,8 @@ function dodep() {
# Try the PR author's branch in case it exists on the deps as well.
# Try the target branch of the push or PR.
# Use the default branch as the last resort.
if [[ "$TRAVIS" == true ]]; then
clone $org $repo $TRAVIS_PULL_REQUEST_BRANCH ||
clone $org $repo $TRAVIS_BRANCH ||
if [[ "$BUILDKITE" == true ]]; then
clone $org $repo $BUILDKITE_BRANCH ||
clone $org $repo $defbranch ||
return $?
else
Expand Down

0 comments on commit e235b2c

Please sign in to comment.