Moved linting check to pre-push git hook

refs 81cd5fac7e

- While developing locally it's common to commit small WIP changes which might contain linting errors. Having the check done once on a pre-push phase gives enoght protection from pushing out broken code and reduces frustration when developing locally

.github/hooks/pre-commit

@@ -1,15 +1,4 @@
 #!/bin/bash
-yarn lint
-lintStatus=$?
-
-if [ $lintStatus -eq 0 ]
-then
-  echo "linting succeeded"
-else
-  echo "linting failed"
-  exit 1
-fi
-
 # Modified from https://github.com/chaitanyagupta/gitutils
 
 green='\033[0;32m'

.github/hooks/pre-push

@@ -0,0 +1,12 @@
+#!/bin/bash
+yarn lint
+lintStatus=$?
+
+if [ $lintStatus -eq 0 ]
+then
+  echo "linting succeeded"
+  exit 0
+else
+  echo "linting failed"
+  exit 1
+fi