diff --git a/.travis/push.sh b/.travis/push.sh
index 8a3e2a734..e3483a676 100755
--- a/.travis/push.sh
+++ b/.travis/push.sh
@@ -1,3 +1,5 @@
+#!/bin/sh
+
 setup_git() {
   git config --global user.email "travis@travis-ci.org"
   git config --global user.name "Travis CI"
@@ -6,11 +8,6 @@ setup_git() {
 commit_website_files() {
   git checkout master
   git add *
-  if [[ $(( $TRAVIS_BUILD_NUMBER % 5 )) == 0 ]]; then
-      n = $(( ($TRAVIS_BUILD_NUMBER-270)/5))
-      npm run linter
-      echo "Linting build:  $n"
-  fi
   git commit --message "Travis build: $TRAVIS_BUILD_NUMBER"
 }