Labels

• actions

  Changes to GitHub Actions
• channels

  Changes to server channels
• commands

  Changes to bot commands
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• help wanted

  Extra attention is needed
• issue

  Problems with the server or infrastructure
• labels

  Changes to GitHub labels
• meta

  Related to this repo, rather than the server
• question

  Further information is requested
• roles

  Changes to server roles
• rules

  Changes to server rules
• stale

  Problems with the server or infrastructure
• under discussion

  Under discussion by server staff