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.bat | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 scripts/hooks.bat (limited to 'scripts/hooks.bat') diff --git a/scripts/hooks.bat b/scripts/hooks.bat deleted file mode 100644 index 52d690100..000000000 --- a/scripts/hooks.bat +++ /dev/null @@ -1,16 +0,0 @@ -@echo off - -if not exist ".git" ( - exit /b 0 -) - -if not exist ".git\hooks" ( - mkdir ".git\hooks" -) - -( - echo #!/bin/sh - echo bun run typecheck -) > ".git\hooks\pre-push" - -echo ✅ Pre-push hook installed -- cgit v1.2.3