We've deployed a number of updates to the mention functionality today in Codebase that you should all find useful, to primarily allow for a wider use of the functionality, but also make the searching of users much easier.
You'll now find mentions can be used in the following areas of the interface, in addition to tickets that has already been available:
- Commit comments (within diff-lines, or a whole commit)
- Merge Request comments
And when you search for a user to mention them, you'll also be able to search by their first and last name as well as their username.