From 8f5f080fe73f0b0cfbc18dfe2b8a466ed4b43375 Mon Sep 17 00:00:00 2001
From: Ben Sima <ben@bsima.me>
Date: Mon, 21 Aug 2023 22:03:04 -0400
Subject: Don't run ci on notes refs

---
 Biz/Ide/hooks/pre-push | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'Biz/Ide')

diff --git a/Biz/Ide/hooks/pre-push b/Biz/Ide/hooks/pre-push
index 85f047f..863c687 100755
--- a/Biz/Ide/hooks/pre-push
+++ b/Biz/Ide/hooks/pre-push
@@ -13,6 +13,9 @@
 ##
   while read local_ref local_sha remote_ref remote_sha
   do
+    if [[ $local_ref =~ notes ]]; then
+      exit 0
+    fi
     commit=$(git notes --ref=ci show $local_ref || true)
     if [[ -n "$commit" ]]
     then
-- 
cgit v1.2.3