Merge remote-tracking branch 'origin/develop' into develop

This commit is contained in:
Weblate 2018-05-02 15:44:06 +00:00
commit f889f2f5fc

View file

@ -7,7 +7,7 @@ repo="$2"
curbranch="$TRAVIS_PULL_REQUEST_BRANCH"
[ -z "$curbranch" ] && curbranch="$TRAVIS_BRANCH"
[ -z "$curbranch" ] && curbranch=`"$GIT_BRANCH" | sed -e 's/^origin\///'` # jenkins
[ -z "$curbranch" ] && curbranch=`"echo $GIT_BRANCH" | sed -e 's/^origin\///'` # jenkins
if [ -n "$curbranch" ]
then