2018-05-02 11:03:40 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
org="$1"
|
|
|
|
|
repo="$2"
|
2018-12-21 19:16:37 -07:00
|
|
|
defbranch="$3"
|
|
|
|
|
|
|
|
|
|
[ -z "$defbranch" ] && defbranch="develop"
|
2018-05-02 11:03:40 +01:00
|
|
|
|
2018-05-02 16:49:08 +01:00
|
|
|
rm -r "$repo" || true
|
|
|
|
|
|
2018-12-20 22:13:40 +00:00
|
|
|
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 15:53:38 +01:00
|
|
|
|
2019-03-15 11:19:05 -06:00
|
|
|
|
2019-03-15 10:34:30 -06:00
|
|
|
# Try the PR author's branch in case it exists on the deps as well.
|
2019-03-15 11:19:05 -06:00
|
|
|
clone $BUILDKITE_BRANCH
|
|
|
|
|
# Try the target branch of the push or PR.
|
2019-03-15 10:34:30 -06:00
|
|
|
clone $BUILDKITE_PULL_REQUEST_BASE_BRANCH
|
2018-12-20 22:13:40 +00:00
|
|
|
# Try the current branch from Jenkins.
|
|
|
|
|
clone `"echo $GIT_BRANCH" | sed -e 's/^origin\///'`
|
2019-01-03 16:00:23 -07:00
|
|
|
# Use the default branch as the last resort.
|
|
|
|
|
clone $defbranch
|
