An ordinary discord bot that empowers the @gitpod-io and @supremegamers Discord servers
Primary LanguageRustGNU General Public License v2.0GPL-2.0