diff options
| author | Ben Sima <ben@bsima.me> | 2024-04-10 23:09:45 -0400 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2024-04-11 09:23:43 -0400 |
| commit | cbfef60225d604d378f60dc7064c0dd708e294eb (patch) | |
| tree | 8c5e60f6689d10fc50b2a92a130ebc586e854f61 /Biz/Ide/hooks/pre-push | |
| parent | 5526ce4b19d1dd5bee09f1d274bc88260853485c (diff) | |
Fix syntax error in pre-push hook
This was silly, maybe I should add a special case to Lint.hs to check these...
Diffstat (limited to 'Biz/Ide/hooks/pre-push')
| -rwxr-xr-x | Biz/Ide/hooks/pre-push | 1 |
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 |