To direct-mention a collaborator in a comment, type @, followed by the collaborator’s name and select the user from the menu that appears. That person will receive a notification in-app and via email that you have mentioned them in your comment.