From dd3edb09d085a5cb6ab7fdd77caeffc19b9b7716 Mon Sep 17 00:00:00 2001 From: Johannes Schindelin Date: Tue, 15 Jan 2019 16:58:01 +0100 Subject: [PATCH] fixup! travis: fix skipping tagged releases Add the comment that we added to the patch series intended for upstream git.git. Signed-off-by: Johannes Schindelin --- ci/lib.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ci/lib.sh b/ci/lib.sh index 0dee59706c..bf5f1c9c0f 100755 --- a/ci/lib.sh +++ b/ci/lib.sh @@ -2,7 +2,8 @@ if test true = "$TRAVIS" then - # We are running within Travis CI + # When building a PR, TRAVIS_BRANCH refers to the *target* branch. Not + # what we want here. We want the source branch instead. CI_BRANCH="${TRAVIS_PULL_REQUEST_BRANCH:-$TRAVIS_BRANCH}" CI_COMMIT="$TRAVIS_COMMIT" CI_JOB_ID="$TRAVIS_JOB_ID"