There was previously an issue opened to implement the ability to ping roles in Discord. A user mention system was added via the alerters.yaml configs, which works really well for user mentions, but it does not successfully mention a role if the role is included in the list. Is there any plan to add the ability to mention roles? Based on the Discord documentation it seems like a simple logic could be implemented to mention users, roles, channels, etc. It appears to be a minor character difference in the mention tag structure, but unfortunately I don't know how to implement such changes myself.
There was previously an issue opened to implement the ability to ping roles in Discord. A user mention system was added via the alerters.yaml configs, which works really well for user mentions, but it does not successfully mention a role if the role is included in the list. Is there any plan to add the ability to mention roles? Based on the Discord documentation it seems like a simple logic could be implemented to mention users, roles, channels, etc. It appears to be a minor character difference in the mention tag structure, but unfortunately I don't know how to implement such changes myself.
Mentions documentation: https://docs.discord.club/embedg/reference/mentions