fetch: add test to make sure we stay backwards compatible

diff --git a/ci/lib-travisci.sh b/ci/lib-travisci.sh
index 9c4ae9bdd0aa57027304425948dc32009a518f96..b3ed0a0ddac4261307a31a99f3cd18fb7aabc4fc 100755 (executable)
--- a/ci/lib-travisci.sh
+++ b/ci/lib-travisci.sh
@@ -14,7 +14,7 @@ skip_branch_tip_with_tag () {
        # of a tag.
 
        if TAG=$(git describe --exact-match "$TRAVIS_BRANCH" 2>/dev/null) &&
-               $TAG != $TRAVIS_BRANCH
+               test "$TAG" != "$TRAVIS_BRANCH"
        then
                echo "Tip of $TRAVIS_BRANCH is exactly at $TAG"
                exit 0