Currently, Matrix users have no way to ping Discord roles.
If for example on the discord guild a role gamer exists, and I want to make a post with
@gamer There's a new free game on Epic
The role is never mentioned.
A potential implementation could be by just treating them as users, perhaps with a different prefix tho. So from the example above, if the role has the role id of 1234 and the role is allowed to be pinged (and is neither @ everyone nor @ here ), a user on the HS gets created with @_discord_role_1234:hs.io and with the display name gamer Role. If that user gets then mentioned on matrix, the bridge will convert it to a role ping. A problem that could arise from this implementation, is that if the role gets deleted / marked as non-mentionable, that the matrix user cannot be really deleted since AFAIK there is no true user deletion yet, only user redaction.
Currently, Matrix users have no way to ping Discord roles. If for example on the discord guild a role
gamer
exists, and I want to make a post with@gamer There's a new free game on Epic
The role is never mentioned.A potential implementation could be by just treating them as users, perhaps with a different prefix tho. So from the example above, if the role has the role id of
1234
and the role is allowed to be pinged (and is neither @ everyone nor @ here ), a user on the HS gets created with@_discord_role_1234:hs.io
and with the display namegamer Role
. If that user gets then mentioned on matrix, the bridge will convert it to a role ping. A problem that could arise from this implementation, is that if the role gets deleted / marked as non-mentionable, that the matrix user cannot be really deleted since AFAIK there is no true user deletion yet, only user redaction.