markus-wa
diff --git a/‎scripts/ci.sh
-18 b/‎scripts/ci.sh
-18
diff --git a/‎scripts/lint-changes.sh
-5 b/‎scripts/lint-changes.sh
-5
@@ -2,11 +2,6 @@
 
 set -e
 
-# for the CI
-if [[ "$TRAVIS_COMMIT_RANGE" != "" ]]; then
-	commit_range=${TRAVIS_COMMIT_RANGE/.../..} && git diff $commit_range >/dev/null && base_rev=$commit_range || true
-fi
-
 # default reference/baseline is master
 if [[ "$base_rev" == "" ]]; then
 	base_rev='origin/master'