This repo is synced from https://git.bechsor.no/jens/discord-bots