Searching for "@tabbott" should typeahead to some sort of mentions:email syntax

[timabbott]

It'd be nice to be able to search my messages for things that directly mention another user.

I think it'd be not too hard to accomplish, at least moderately well, by just search that other user's UserMessage table, and then filtering for UserMessage rows on YOUR UserMessage table. But that has some messy security implications to think about, and will also not cover cases where that user was mentioned but not subscribed, which we possibly do want to fetch.

So the best idea I have for how the backend should work is using full-text search to find the appropriate mention markup.

[zulipbot]

Hello @zulip/server-search members, this issue was labeled with the area: search label, so you may want to check it out!

[SatyendraBanjare]

Shouldn't there also be a max limit of result queries of latest 5/10 messages...?? and we can force stop search if 5 successful results are achieved, anyway I think I can work on this issue.
@timabbott @rishig

@zulipbot claim

[zulipbot]

ERROR: Unexpected response from GitHub API.

[SatyendraBanjare]

@zulipbot claim --force

[zulipbot]

ERROR: Unexpected response from GitHub API.

[SatyendraBanjare]

Hi @rishig Please assign me to this. I want to work on this.

[zulipbot]

Hello @SatyendraBanjare, it looks like you've currently claimed 1 issue in this repository. We encourage new contributors to focus their efforts on at most 1 issue at a time, so please complete your work on your other claimed issues before trying to claim this issue again.

We look forward to your valuable contributions!