summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-04-10 23:09:45 -0400
committerBen Sima <ben@bsima.me>2024-04-11 09:23:43 -0400
commitcbfef60225d604d378f60dc7064c0dd708e294eb (patch)
tree8c5e60f6689d10fc50b2a92a130ebc586e854f61
parent5526ce4b19d1dd5bee09f1d274bc88260853485c (diff)
Fix syntax error in pre-push hook
This was silly, maybe I should add a special case to Lint.hs to check these...
-rwxr-xr-xBiz/Ide/hooks/pre-push1
1 files changed, 1 insertions, 0 deletions
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