From cbfef60225d604d378f60dc7064c0dd708e294eb Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 10 Apr 2024 23:09:45 -0400
Subject: Fix syntax error in pre-push hook

This was silly, maybe I should add a special case to Lint.hs to check these...
---
 Biz/Ide/hooks/pre-push | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Biz')

diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
index 30b4e3a..fc0ca3d 100755
--- a/Biz/Ide/hooks/pre-push
+++ b/Biz/Ide/hooks/pre-push
@@ -7,6 +7,7 @@ do
   if [ "$local_sha" = $z40 ]
   then
     # delete, do nothing
+    continue
   elif [ "$remote_sha" = $z40 ]
   then
     # new branch, test all commits since ci was implemented
-- 
cgit v1.2.3