this repo has no description
allow more commands in Claude
`go generate` is useful to update generated files across the repo.
`go mod` and `go get` are needed to manage Go module dependencies.
Finally, allow more direct HTTP access to GitHub and GerritHub,
and also web search, which the agent seems to use to figure out
how to use newly added library dependencies.
Signed-off-by: Daniel Martí <mvdan@mvdan.cc>
Change-Id: I5678e9e270dc21896695e537c7dc169e91ac4838
Reviewed-on: https://cue.gerrithub.io/c/cue-lang/cue/+/1232175
TryBot-Result: CUEcueckoo <cueckoo@cuelang.org>
Reviewed-by: Roger Peppe <rogpeppe@gmail.com>
Unity-Result: CUE porcuepine <cue.porcuepine@gmail.com>
+7
-1
+7
-1
.claude/settings.json
+7
-1
.claude/settings.json
···
13
13
"Bash(go test:*)",
14
14
"Bash(go test -run:*)",
15
15
"Bash(go test -race:*)",
16
+
"Bash(go generate:*)",
17
+
"Bash(go mod:*)",
18
+
"Bash(go get:*)",
16
19
"Bash(CUE_UPDATE=1 go test:*)",
17
20
"Bash(CUE_UPDATE=1 go test -run:*)",
18
21
"Bash(testscript:*)",
···
62
65
"Bash(gh workflow view:*)",
63
66
"Bash(gh workflow list:*)",
64
67
"WebFetch(domain:raw.githubusercontent.com)",
65
-
"WebFetch(domain:gist.github.com)"
68
+
"WebFetch(domain:gist.github.com)",
69
+
"WebFetch(domain:github.com)",
70
+
"WebFetch(domain:cue.gerrithub.io)",
71
+
"WebSearch"
66
72
],
67
73
"deny": [
68
74
"Bash(cat:*)",