@-mentions are underdocumented

[josharian]

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:

https://github.com/sourcegraph/sourcegraph/issues/1234

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.

[arcuru]

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.