@-mentions are underdocumented
josharian opened this issue · 1 comments
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:
Then use the @-mention type Github PRs & Issues and search for issues or pull requests to include in context using the followining [sic] possible query examples:
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.
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.