Better @-mention completion

A Reviewable post written by Piotr Kaminski.By: Piotr Kaminski
Published: Sunday, February 28, 2016

The @-mention completion list will now include everyone who participated or was previously mentioned in the PR, even if they're not a member of the organization or a repository collaborator.