Skip to content

Commit 0000ab2

Browse files
ggerganovxiukeding
authored andcommitted
ai : do not run bash commands in the prompt (ggml-org#20810)
1 parent 82caa72 commit 0000ab2

1 file changed

Lines changed: 5 additions & 6 deletions

File tree

.github/workflows/ai-issues.yml

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,8 @@ jobs:
2626
{
2727
"bash": {
2828
"*": "deny",
29-
"gh issue*": "allow"
29+
"gh issue*": "allow",
30+
"gh search*": "allow"
3031
},
3132
"webfetch": "deny"
3233
}
@@ -38,19 +39,17 @@ jobs:
3839
3940
Issue number: ${{ github.event.issue.number }}
4041
41-
Lookup the contents of the issue using the following `gh` command:
42+
Lookup the contents of the issue using the following 'gh' command:
4243
43-
```bash
4444
gh issue view ${{ github.event.issue.number }} --json title,body,url,number
45-
```
4645
4746
Next, perform the following task and then post a SINGLE comment (if needed).
4847
4948
---
5049
5150
TASK : FIND RELATED ISSUES
5251
53-
Using the `gh` CLI tool, search through existing issues on Github.
52+
Using the 'gh' CLI tool, search through existing issues on Github.
5453
Find related or similar issues to the newly created one and list them.
5554
Do not list the new issue itself (it is #${{ github.event.issue.number }}).
5655
@@ -83,5 +82,5 @@ jobs:
8382
- Do not include the comment tags in your actual comment.
8483
- Post at most ONE comment combining all findings.
8584
- If you didn't find issues that are related enough, post nothing.
86-
- You have access only to the `gh` CLI tool - don't try to use other tools.
85+
- You have access only to the 'gh' CLI tool - don't try to use other tools.
8786
"

0 commit comments

Comments
 (0)