From f664669439c0f005e3579d1c67b4ebd9fa24de36 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 9 Feb 2022 18:13:40 -0500
Subject: Move git hooks to own folder

Instead of symlinking, just set the local git config.
---
 Biz/Ide/post-checkout | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 Biz/Ide/post-checkout

(limited to 'Biz/Ide/post-checkout')

diff --git a/Biz/Ide/post-checkout b/Biz/Ide/post-checkout
deleted file mode 100755
index 95b35cd..0000000
--- a/Biz/Ide/post-checkout
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/usr/bin/env bash
-set -e
-init_tags=$BIZ_ROOT/Biz/Ide/init_tags.sh
-old=$1
-new=$2
-# filter out only the changed haskell files
-changed=($(git diff --diff-filter=d --name-only $old $new -- '*.hs'))
-if [[ ! -r tags ]]
-then
-    $init_tags
-elif [[ ${#changed[@]} -gt 0 ]]
-then
-    $init_tags $changed
-fi
-- 
cgit v1.2.3