Learn more about these different git repos.
Other Git URLs
Currently even if I mention @ralph in a ticket/comment, he will not get the notification for the comment.
We should fix this :)
Using the same logic as in pagure.pfmarkdown we should be able to easily find out if an user is mentioned in a comment when we send the notification.
We should just be careful that we find the way to use the same code to avoid code duplication.
Implemented in https://pagure.io/pagure/pull-request/735
to comment on this ticket.