PrivateCoffee/element-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 4

Merge pull request #4220 from vector-im/dbkr/right_branch_chop_origin

Browse source 
Chop off 'origin/'
This commit is contained in:
David Baker 2017-06-07 10:50:27 +01:00 committed by GitHub
commit 9a6e0440f9
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -25,6 +25,11 @@ else
fi fi
fi fi
# Chop 'origin' off the start as jenkins ends up using
# branches on the origin, but this doesn't work if we
# specify the branch when cloning.
curbranch=${curbranch#origin/}
echo "Determined branch to be $curbranch" echo "Determined branch to be $curbranch"
# clone a specific branch of a github repo # clone a specific branch of a github repo