From f664669439c0f005e3579d1c67b4ebd9fa24de36 Mon Sep 17 00:00:00 2001 From: Ben Sima 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/pre-push | 2 -- 1 file changed, 2 deletions(-) delete mode 100755 Biz/Ide/pre-push (limited to 'Biz/Ide/pre-push') diff --git a/Biz/Ide/pre-push b/Biz/Ide/pre-push deleted file mode 100755 index 3d00aea..0000000 --- a/Biz/Ide/pre-push +++ /dev/null @@ -1,2 +0,0 @@ -#!/usr/bin/env bash -lint **/* && bild --test **/* -- cgit v1.2.3