e2ed990746
interactive bots: Create comment on issue GitHub bot. interactive bots: Create comment on issue GitHub bot. interactive bots: Create comment on issue GitHub bot. interactive bots: Create comment on issue GitHub bot.
52 lines
1.7 KiB
Markdown
52 lines
1.7 KiB
Markdown
# Overview
|
|
|
|
This is the documentation for how to set up and run the GitHub comment bot. (`git_hub_comment.py`)
|
|
|
|
This directory contains library code for running Zulip
|
|
bots that react to messages sent by users.
|
|
|
|
This bot will allow you to comment on a GitHub issue.
|
|
You should preface messages with `@comment` or `@gcomment`.
|
|
You will need to have a GitHub account, and a GitHub OAuth token.
|
|
|
|
## Setup
|
|
Before running this bot, make sure to get a GitHub OAuth token.
|
|
You can look at this tutorial if you need help:
|
|
<https://help.github.com/articles/creating-an-access-token-for-command-line-use/>
|
|
The token will need to be authorized for the following scopes: `gist, public_repo, user`.
|
|
Store it in the `github_token.txt` file.
|
|
The `github_token.txt` file should be located at `~/github_token.txt`.
|
|
Please input info like this:
|
|
`/<username>/<repository_owner>/<repository>/<issue_number>/<your_comment`.
|
|
|
|
## Running the bot
|
|
|
|
Here is an example of running the `git_hub_comment` bot from
|
|
inside a Zulip repo:
|
|
|
|
`cd ~/zulip/contrib_bots`
|
|
`./run.py lib/git_hub_comment.py --config-file ~/.zuliprc-prod`
|
|
|
|
Once the bot code starts running, you will see a
|
|
message explaining how to use the bot, as well as
|
|
some log messages. You can use the `--quiet` option
|
|
to suppress some of the informational messages.
|
|
|
|
The bot code will run continuously until you kill them with
|
|
control-C (or otherwise).
|
|
|
|
### Configuration
|
|
|
|
For this document we assume you have some prior experience
|
|
with using the Zulip API, but here is a quick review of
|
|
what a `.zuliprc` files looks like. You can connect to the
|
|
API as your own human user, or you can go into the Zulip settings
|
|
page to create a user-owned bot.
|
|
|
|
[api]
|
|
email=someuser@example.com
|
|
key=<your api key>
|
|
site=https://zulip.somewhere.com
|
|
|
|
|