2018-05-02 12:03:40 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
org="$1"
|
|
|
|
|
repo="$2"
|
|
|
|
|
|
2018-05-02 17:49:08 +02:00
|
|
|
rm -r "$repo" || true
|
|
|
|
|
|
2018-05-02 16:53:38 +02:00
|
|
|
curbranch="$TRAVIS_PULL_REQUEST_BRANCH"
|
|
|
|
|
[ -z "$curbranch" ] && curbranch="$TRAVIS_BRANCH"
|
2018-05-02 17:43:51 +02:00
|
|
|
[ -z "$curbranch" ] && curbranch=`"echo $GIT_BRANCH" | sed -e 's/^origin\///'` # jenkins
|
2018-05-02 12:03:40 +02:00
|
|
|
|
2018-05-02 16:53:38 +02:00
|
|
|
if [ -n "$curbranch" ]
|
|
|
|
|
then
|
|
|
|
|
echo "Determined branch to be $curbranch"
|
2018-05-02 12:03:40 +02:00
|
|
|
|
2018-05-02 16:53:38 +02:00
|
|
|
git clone https://github.com/$org/$repo.git $repo --branch "$curbranch" && exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
echo "Checking out develop branch"
|
|
|
|
|
git clone https://github.com/$org/$repo.git $repo --branch develop
|
