Bot Maintenance
Resolved Nov 30, 2023 at 1:00pm UTC
Changes are being made to how the Discord Bot is hosted. This is so that deployments can be done automatically, like they used to be, ultimately reducing friction and user-input.