From 1e9dbc5c1ccd7720c1a3aae149deaaafc608341b Mon Sep 17 00:00:00 2001
From: "Jose I. Paris" <jiparis@chainloop.dev>
Date: Fri, 31 Jul 2026 11:29:56 +0200
Subject: [PATCH] detect bash tool changes

Signed-off-by: Jose I. Paris <jiparis@chainloop.dev>
---
 .claude/settings.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.claude/settings.json b/.claude/settings.json
index 322ed029c..0d455847c 100644
--- a/.claude/settings.json
+++ b/.claude/settings.json
@@ -17,7 +17,7 @@
             "type": "command"
           }
         ],
-        "matcher": "Edit|Write|MultiEdit"
+        "matcher": "Edit|Write|MultiEdit|Bash"
       }
     ],
     "PreToolUse": [
@@ -28,7 +28,7 @@
             "type": "command"
           }
         ],
-        "matcher": "Edit|Write|MultiEdit"
+        "matcher": "Edit|Write|MultiEdit|Bash"
       }
     ],
     "SessionEnd": [