diff options
Diffstat (limited to 'script/hooks')
| -rwxr-xr-x | script/hooks | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/script/hooks b/script/hooks deleted file mode 100755 index 4597c6f41..000000000 --- a/script/hooks +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -if [ ! -d ".git" ]; then - exit 0 -fi - -mkdir -p .git/hooks - -cat > .git/hooks/pre-push << 'EOF' -#!/bin/sh -bun run typecheck -EOF - -chmod +x .git/hooks/pre-push -echo "✅ Pre-push hook installed" |
