Fix checking of grep exitcode

This is one of those things that's hard to get right because it depends
on the state of the git repo to exercise all code paths.

1 files changed, 6 insertions, 3 deletions

diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
index 863c687..baf7a13 100755
--- a/Biz/Ide/hooks/pre-push
+++ b/Biz/Ide/hooks/pre-push
@@ -19,9 +19,12 @@
     commit=$(git notes --ref=ci show $local_ref || true)
     if [[ -n "$commit" ]]
     then
-      lint_ok=$(grep "Lint-is: good" <<< $commit)
-      test_ok=$(grep "Test-is: good" <<< $commit)
-      if [[ $lint_ok -eq 0 || $test_ok -eq 0 ]]
+      lint_ok=$()
+      if grep -q "Lint-is: good" <<< $commit
+      then
+        exit 0
+      fi
+      if grep -q "Test-is: good" <<< $commit
       then
         exit 0
       fi