Replies: 1 comment
|
Confirmed — reproduction shows _ This looks like a bug. Can maintainers please triage? |
0 replies
注册 for free
to join this conversation on GitHub.
Already have an account?
登录 to comment
Uh oh!
There was an error while loading. Please reload this page.
I wanted to disable the
web_fetchtool. So I started the Copilot cli like this:copilot --deny-tool 'web_fetch'But it seemed to have no effect:
Note that I truncated the output a little bit. It still seems to use the
web_fetchtool. So what am I missing here ?Thanks in advance for any help.
All reactions