diff options
| author | 2019-09-14 15:05:42 +0200 | |
|---|---|---|
| committer | 2019-09-14 15:05:42 +0200 | |
| commit | 9ae39f343a685a985778797e9f9195d205bc2e43 (patch) | |
| tree | b78dc362be1d67ea519fa7a789e3de456fd3f00c /bot/utils/moderation.py | |
| parent | We now also detect bot tokens outside quotes. (diff) | |
Nuking the Roles.developer role.
We're not really using this, we're using Roles.verified. This provides
superiour readability, and there's no reason we should use two instead
of just one. I also added a comment to clarify that this role
represents the Developers role on pydis.
Diffstat (limited to 'bot/utils/moderation.py')
0 files changed, 0 insertions, 0 deletions