Monitor your github repos by adding this bot to your server, set up a channel for it, and don't miss any events!
Join our Discord server at https://discord.gg/HHqndMG
Prefixes are G!
(with space), custom prefix set up, or mention the bot.
Util:
help
- a help command... yeah :Pinvite
- how to invite the bot and set up github events!clean
- cleans the bot's messages found in the last 100 messagesping
- uh... ping? pong!stats
- shows the stats of the bot... what else?
GitHub:
issues search <query>
- search issues by any field in the global repoissue <number>
- gives info about that specific issue in the global repopr search <query>
- search pull requests by any field in the global repopr <number>
- gives info about that specific pr in the global reporelease <query>
- gives info about a release that matches that query in its tag in the global repo
Admin:
conf [view]
- views the server's configconf get <key>
- gets a specific config key in the server's configconf set <key> [value]
- sets the key to the value,repo
's value may be none to disableinit <repo> [private]
- initialize repo events on channelremove
- remove repo events on channel