summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Sima <ben@bsima.me>2024-04-10 23:14:40 -0400
committerBen Sima <ben@bsima.me>2024-04-11 09:23:43 -0400
commit644f3a822b6aa1b3ce2e53ed0a04be5b0651d9fb (patch)
treea4e36b8c3ae65c57db5198fae27c3b7e086fe2ae
parentcbfef60225d604d378f60dc7064c0dd708e294eb (diff)
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.
-rwxr-xr-xBiz/Ide/hooks/pre-push2
1 files changed, 1 insertions, 1 deletions
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