Self-hosted GitHub ↔ Discord integration server, built on a GitHub App - View it on GitHub