Include user in the attention set when mentioned #95
Description
A user should be included in the attention set of a pull request, even if not an author/reviewer, when they are explicitely mentioned in a discussion.
{{ message }}
A user should be included in the attention set of a pull request, even if not an author/reviewer, when they are explicitely mentioned in a discussion.