diff options
| author | 2020-02-28 08:07:01 -0800 | |
|---|---|---|
| committer | 2020-03-22 15:54:41 -0700 | |
| commit | 91fd12b0b61bfe731095d30450ac5a24f7ff948c (patch) | |
| tree | 7ac0de4aa1916d4ebb7732ec5e5142adb1d478e3 | |
| parent | Constants: add a channel constant for help channel notifications (diff) | |
Constants: add a roles list constant for help channel notifications
| -rw-r--r-- | bot/constants.py | 1 | ||||
| -rw-r--r-- | config-default.yml | 5 |
2 files changed, 5 insertions, 1 deletions
diff --git a/bot/constants.py b/bot/constants.py index 7a0760eef..042e48a8b 100644 --- a/bot/constants.py +++ b/bot/constants.py @@ -545,6 +545,7 @@ class HelpChannels(metaclass=YAMLGetter): notify: bool notify_channel: int notify_minutes: int + notify_roles: List[int] class Mention(metaclass=YAMLGetter): diff --git a/config-default.yml b/config-default.yml index b23271899..22c05853c 100644 --- a/config-default.yml +++ b/config-default.yml @@ -532,7 +532,6 @@ help_channels: # Prefix for help channel names name_prefix: 'help-' - # Notify if more available channels are needed but there are no more dormant ones notify: true @@ -542,6 +541,10 @@ help_channels: # Minimum interval between helper notifications notify_minutes: 15 + # Mention these roles in notifications + notify_roles: + - *HELPERS_ROLE + redirect_output: delete_invocation: true delete_delay: 15 |