mirrors/element-web
1
0
Fork 0
mirror of https://github.com/element-hq/element-web synced 2024-11-25 02:35:48 +03:00
Code Issues Projects Releases Packages Wiki Activity

Fix downstream branch fetching

Browse source 
We should be giving the PR the best possible chance at passing the build.
This commit is contained in:
Travis Ralston 2019-03-15 10:23:43 -06:00
parent ef6313fbb4
commit df7b617881
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
scripts/fetch-develop.deps.sh
View file

@ -42,6 +42,7 @@ function dodep() {
# Use the default branch as the last resort.
if [[ "$BUILDKITE" == true ]]; then
clone $org $repo $BUILDKITE_BRANCH ||
clone $org $repo $BUILDKITE_PULL_REQUEST_BASE_BRANCH ||
clone $org $repo $defbranch ||
return $?
else