The second iteration of the general-purpose bot for managing the Java Discord server.
Currently very-much a work-in-progress. Do not commit to main without a pull request!.
This repository was archived by the owner on Dec 1, 2021. It is now read-only.