boxes: Use `user_id`s in autocomplete for user mentions.#928

Merged

neiljp merged 2 commits intozulip:mainfrom

prah23:autocomplete_users_refinement

Jun 11, 2021

Commits on Jun 7, 2021

tests: Introduce 'Human Duplicate' to test for users with the same name.
prah23
committed

Commits on Jun 11, 2021

boxes: Use `user_id`s in autocomplete for ambiguous user mentions.
prah23
committed