Issues

Document bot/server setup, commands in GitHub Wiki
codeRIT/lehrbot#5 · opened on Oct 10, 2020
Restrict mentor commands to roles instead of admin
codeRIT/lehrbot#4 · opened on Oct 10, 2020
Make topic names server-unique instead of globally-unique
codeRIT/lehrbot#3 · opened on Oct 10, 2020
Automate placing participants into topic channels
codeRIT/lehrbot#2 · opened on Oct 10, 2020
Refactor "class" to "topic"
codeRIT/lehrbot#1 · opened on Oct 10, 2020