Labels

For issues that are well-suited to beginners.

Addresses a bug.

Addresses a bug.

Issues regarding the checkstyle plugin.

Improvements or additions to documentation

This issue or pull request already exists

Improvement of an already existing feature

For issues pertaining to the bot's help channel management functionality.

This doesn't seem right

For code that needs to be tested before it can be merged to the production branch.

Further information is requested

We're waiting for a new, but confirmed, addition to Discord's API and JDA to implement it.