fix pre-push githook

spearman · spearman · commit c523bfaa16fc · 2025-08-26T06:53:40.000+02:00
diff --git a/.githooks/pre-push b/.githooks/pre-push
@@ -3,7 +3,7 @@
 set -e
 set -x
 
-if rg "FIXME"; then
+if rg "FIXME" --hidden --glob="!$0" "$PWD"; then
   echo "pre-push hook failed: FIXME not allowed"
   exit 1
 fi
