GitHub repository: JetBrains-Community/discord
Primary language: Python
Description: The JetBrains Community Discord Server - JetBot, the Python bot behind it