This is the cog guide for the github cog. You will find detailed docs about usage and commands.
[p] is considered as your prefix.
To use this cog, you will need to install and load it.
See the Getting my cogs page.
Create, comment, labelify and close GitHub issues.
This cog is only for bot owners. I made it for managing issues on my cog repo as a small project, but it certainly could be used for other situations where you want to manage GitHub issues from Discord.
If you would like a way to search or view issues, I highly recommend
githubcards cog (on the repo
At present, this cannot support multiple repos.
PRs are mostly supported. You can comment on them or close them but not merge them or create them.
Get started with the
gh howtoken command to set your GitHub token.
You don’t have to do this if you have already set it for a different
githubcards. Then set up with
This command is locked to the bot owner.
Command to interact with this cog.
All commands are owner only.
[p]gh addlabels <issue>
Interactive command to add labels to an issue or PR.
[p]gh close <issue>
Close an issue or PR.
[p]gh comment <issue> <text>
Comment on an issue or PR.
[p]gh commentclose <issue> <text>
Comment on, then close, an issue or PR.
Instructions on how to set up a token.
[p]gh open <title>
Open a new issue. Does NOT reopen.
[p]gh removelabels <issue>
Interactive command to remove labels from an issue or PR.
[p]gh setrepo <slug>
Set up a repo to use as a slug (