diff options
| author | 2020-12-17 22:26:06 -0500 | |
|---|---|---|
| committer | 2020-12-17 22:26:06 -0500 | |
| commit | 2b09d739074f6d1ae259e234ea2ab787711d839d (patch) | |
| tree | 610bcfaf8ea47d565ddbee412d2c21155de0e35a | |
| parent | User gets the bot DM when verified via `!verify`. (diff) | |
Responses from the bot mention the user.
Previously, responses from the bot would say the name of the user rather
than mentioning them.
| -rw-r--r-- | bot/exts/moderation/verification.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bot/exts/moderation/verification.py b/bot/exts/moderation/verification.py index c413d36cf..8985a932f 100644 --- a/bot/exts/moderation/verification.py +++ b/bot/exts/moderation/verification.py @@ -857,13 +857,13 @@ class Verification(Cog): if developer_role in user.roles: log.trace(f'{user.id} is already a developer, aborting.') - await ctx.send(f'{constants.Emojis.cross_mark} {user} is already a developer.') + await ctx.send(f'{constants.Emojis.cross_mark} {user.mention} is already a developer.') return await user.add_roles(developer_role) await safe_dm(user.send(ALTERNATE_VERIFIED_MESSAGE)) log.trace(f'Developer role successfully applied to {user.id}') - await ctx.send(f'{constants.Emojis.check_mark} Developer role applied to {user}.') + await ctx.send(f'{constants.Emojis.check_mark} Developer role applied to {user.mention}.') # endregion |