Previous incidents

The discord bot is currently unavailable as a result of the maintenance that concluded earlier today. It requires a code redeployment that will go out sometime tomorrow.