build: update settings.json

This commit is contained in:
Johannes Millan 2025-10-13 12:16:42 +02:00
parent 712454944f
commit 778c3ed860

View file

@ -17,9 +17,9 @@
"Bash(git diff:*)",
"Bash(git add:*)",
"Bash(git commit:*)",
"Bash(find *)",
"Bash(grep *)",
"Bash(rg *)"
"Bash(find :*)",
"Bash(grep :*)",
"Bash(rg :*)"
],
"deny": ["Bash(rm:*)", "Bash(curl:*)", "Bash(git push:*)"]
},