From 7d698dc30defaf7b7038fa5444556e87c37fe606 Mon Sep 17 00:00:00 2001
From: Pl4gue <david10608@gmail.com>
Date: Mon, 25 Dec 2017 15:14:57 +0100
Subject: [PATCH] Update push.sh

---
 .travis/push.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.travis/push.sh b/.travis/push.sh
index e3483a676..d8077845d 100755
--- a/.travis/push.sh
+++ b/.travis/push.sh
@@ -7,6 +7,11 @@ setup_git() {
 
 commit_website_files() {
   git checkout master
+  if [[ $(( $TRAVIS_BUILD_NUMBER % 5 )) == 0 ]]; then
+      n = $(( ($TRAVIS_BUILD_NUMBER-270)/5))
+      npm run linter
+      echo "Linting build:  $n"
+  fi
   git add *
   git commit --message "Travis build: $TRAVIS_BUILD_NUMBER"
 }