diff options
| author |  MarkKoz <[email protected]> | 2020-02-23 11:58:51 -0800 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2020-02-23 12:34:37 -0800 |
| commit | ed25a7ae240cce1162a0a67fa6451363671cc7de (patch) | |
| tree | a7f2d0416b7d23a6a33eecd78ae78725fcb259ea | |
| parent | Constants: rename roles to match their names in the guild (diff) | |
Constants: rename developers role back to verified
It makes the code which uses it more readable. A comment was added to
explain the discrepancy between the constant's name and the name in the
guild.
| -rw-r--r-- | config-default.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config-default.yml b/config-default.yml index 058317262..dc5be5d47 100644 --- a/config-default.yml +++ b/config-default.yml @@ -178,11 +178,13 @@ guild: roles: announcements: 463658397560995840 contributors: 295488872404484098 - developers: 352427296948486144 muted: &MUTED_ROLE 277914926603829249 partners: 323426753857191936 python_community: &PY_COMMUNITY_ROLE 458226413825294336 + # This is the Developers role on PyDis, here named verified for readability reasons + verified: 352427296948486144 + # Staff admins: &ADMINS_ROLE 267628507062992896 core_developers: 587606783669829632 |