From 2d9ed06367516daa184ecf70bb0b2451c06da8d1 Mon Sep 17 00:00:00 2001 From: Dax Raad Date: Thu, 31 Jul 2025 01:25:24 -0400 Subject: ci: scripts --- scripts/hooks | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100755 scripts/hooks (limited to 'scripts/hooks') diff --git a/scripts/hooks b/scripts/hooks deleted file mode 100755 index 4597c6f41..000000000 --- a/scripts/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" -- cgit v1.2.3