Would if I added the script

2018-05-02 11:03:40 +01:00 · 2018-05-02 11:03:40 +01:00 · b44582777b
parent 730512bc3f
commit b44582777b
1 changed files with 12 additions and 0 deletions
--- a/scripts/fetchdep.sh
+++ b/scripts/fetchdep.sh
@ -0,0 +1,12 @@
+#!/bin/sh
+
+set -e
+
+org="$1"
+repo="$2"
+
+curbranch="${TRAVIS_PULL_REQUEST_BRANCH:-$TRAVIS_BRANCH}"
+echo "Determined branch to be $curbranch"
+
+git clone https://github.com/$org/$repo.git $repo --branch "$curbranch" || git clone https://github.com/$org/$repo.git $repo --branch develop
+