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.
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.