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/Ide/hooks/pre-push | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Biz/Ide')

diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
index 3d00aea..3c826c4 100755
--- a/Biz/Ide/hooks/pre-push
+++ b/Biz/Ide/hooks/pre-push
@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-lint **/* && bild --test **/*
+lint "$BIZ_ROOT/**/*" && bild --test "$BIZ_ROOT/**/*"
-- 
cgit v1.2.3