From 644f3a822b6aa1b3ce2e53ed0a04be5b0651d9fb Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Wed, 10 Apr 2024 23:14:40 -0400 Subject: Don't run the pre-push script when pushing git notes I didn't even realize this would happen, but obviously it would. So my CI system was trying to run tests on all note commits, and throwing weird errors obviously, and probably recursing into an endless void of git pushes. --- Biz/Ide/hooks/pre-push | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Biz') diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push index fc0ca3d..fd243a9 100755 --- a/Biz/Ide/hooks/pre-push +++ b/Biz/Ide/hooks/pre-push @@ -18,4 +18,4 @@ do done gitlint --commits "$range" lint git test run --command ci "$range" -git push "$remote" refs/notes/ci +git push "$remote" refs/notes/ci --no-verify -- cgit v1.2.3