Update git pre-push hook

Author: touilleMan

misc/git-pre-push.hook

@@ -1,5 +1,5 @@
 #! /bin/sh
 
 echo 'pre-push: checking style...'
-2>&1 1>/dev/null scons checkstyle | grep 'reformatted'
+2>&1 1>/dev/null scons checkstyle | grep 'reformat'
 exit $(( ! $? ))