From 1f0160873a04ce48106846dbd627608c3798304b Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Wed, 30 Mar 2022 14:40:02 -0400
Subject: Replace ci with the git pre-push hook

---
 Biz/Bild/ShellHook.sh | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

(limited to 'Biz/Bild')

diff --git a/Biz/Bild/ShellHook.sh b/Biz/Bild/ShellHook.sh
index b9add29..c7c30ed 100644
--- a/Biz/Bild/ShellHook.sh
+++ b/Biz/Bild/ShellHook.sh
@@ -70,13 +70,8 @@
   }
 #
 # Poor man's ci
-  function run-ci() {
-    lint ./**/* && bild --test ./**/*
-  }
+  alias ci="$BIZ_ROOT/Biz/Ide/hooks/pre-push"
 #
-  function ci() {
-    time run-ci
-  }
 # shellcheck disable=SC2154
   export PS1='\n$(r=$? && [ $r -eq 0 ] && printf "biz" || printf "%3.*s" $r $r)> '
 #
-- 
cgit v1.2.3