element-web/scripts/fetchdep.sh

28 lines
634 B
Bash
Raw Normal View History

2018-05-02 13:03:40 +03:00
#!/bin/sh
org="$1"
repo="$2"
defbranch="$3"
[ -z "$defbranch" ] && defbranch="develop"
2018-05-02 13:03:40 +03:00
2018-05-02 18:49:08 +03:00
rm -r "$repo" || true
clone() {
branch=$1
if [ -n "$branch" ]
then
echo "Trying to use the branch $branch"
git clone https://github.com/$org/$repo.git $repo --branch "$branch" && exit 0
fi
}
2018-05-02 17:53:38 +03:00
# Try the PR author's branch in case it exists on the deps as well.
clone $TRAVIS_PULL_REQUEST_BRANCH
# Try the target branch of the push or PR.
clone $TRAVIS_BRANCH
# Try the current branch from Jenkins.
clone `"echo $GIT_BRANCH" | sed -e 's/^origin\///'`
# Use the default branch as the last resort.
clone $defbranch