From e6ebafacae9234f4b6aba5818e325f3c83aad611 Mon Sep 17 00:00:00 2001
From: Dan Guido <dan@trailofbits.com>
Date: Mon, 23 Feb 2026 15:34:40 -0800
Subject: [PATCH] =?UTF-8?q?Remove=20curl=20deny=20rules=20=E2=80=94=20curl?=
 =?UTF-8?q?=20is=20needed=20for=20normal=20use?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
---
 settings.json | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/settings.json b/settings.json
index 32dc02e..2aa8d9b 100644
--- a/settings.json
+++ b/settings.json
@@ -16,11 +16,8 @@
       "Bash(sudo *)",
       "Bash(mkfs *)",
       "Bash(dd *)",
-      "Bash(curl *|bash*)",
-      "Bash(curl *| bash*)",
       "Bash(wget *|bash*)",
       "Bash(wget *| bash*)",
-      "Bash(bash <(curl *))",
       "Bash(git push --force*)",
       "Bash(git push *--force*)",
       "Bash(git reset --hard*)",