How to use Gitbot
guide color code: required | optional
- Getting Started
-
Issues
/issue -
/issues get owner: repo: issue_number:- Get an issue by its number -
/issues create owner: repo: title: body: labels: assignees: milestone:- Create a new issue -
/issues close owner: repo: issue_number: reason:- Close an issue by its number -
/issues update owner: repo: issue_number:- Returns a link to edit the issue on Github -
Pull Requests
/pulls -
/pulls get owner: repo: pull_number:- Get a PR by its number -
/pulls create owner: repo: head: base: title: head_repo: issue: body: draft: maintainer_can_modify:- Create a new Pull RequestNote: Requires eithertitle:orissue: -
/pulls close owner: repo: pull_number:- Close a PR by its number -
/pulls update owner: repo: pull_number:- Returns a link to edit the PR on Github -
My
/my -
/my issues- Group for the Issues commands -
/my pulls- Group for the Pulls commands -
Settings
/settings -
/settings issues owner: repo:- Manage Issues settings -
/settings misc- Manage General settings with the bot
Link your Github Account using the
/link command, either by
authorizing the github app or providing your own github token
this is a shortcut to get information about your stuff, basically
autofills the
owner: field with your (the
authorized user's) username
auto_project: - Automatically add
new issues created with the bot to a project (needs project node_id)
auto_assignees: - Automatically assign
the new issues to users (logins comma separated)
ephermal: - Whether the message should
be ephermal/hidden or not (default: false)
simple: - Whether the message should
be sent in a simple text only form or make use of embeds (default: false,
i.e. use embeds)