GitHub repository: DevOps-Utrecht/bot
Primary language: Python
Description: A discord bot for DevOps