Open josharian opened 2 months ago
I also found the docs confusing, but I found that I had to type "@", then select the "Github PRs" option, and then type those full examples. That's in the VSCode Cody extension.
It would be really nice if you could just type "@1234" to get the relevant context, since it should hopefully know the repo already.
I wanted to play with them but wasn't entirely sure (just from a user's perspective) what I was supposed to do. The only docs I came across were in https://openctx.org/docs/providers/github, which says just:
But those don't include an
@
. I tried putting an@
in front of them in my editor and nothing obvious happened. (Yes, I set up the GH Provider.)And there are no docs I could see about other @-mention types, how they get parsed, assigned to a provider, etc.