Creating a Discord bug-hunting leaderboard Setting up a pipeline from in-game bug reporting to a Discord bot via a Postgres database.