History

Rohitt Vashishtha 180c99cb63 bots: Add tests for github_detail bot.		2017-06-22 11:25:31 -04:00
..
fixtures	bots: Add tests for github_detail bot.	2017-06-22 11:25:31 -04:00
__init__.py	bots: Fix github details bot.	2017-06-22 11:25:31 -04:00
github_detail.py	bots: Add tests for github_detail bot.	2017-06-22 11:25:31 -04:00
readme.md	bots: Fix github details bot.	2017-06-22 11:25:31 -04:00
test_github_detail.py	bots: Add tests for github_detail bot.	2017-06-22 11:25:31 -04:00

readme.md

GitHub detail bot

This bot links and details issues and pull requests. To use it @-mention the bot then type an id: Ids can be specified in three different forms:

Id only: #2000
Repository and id: zulip#2000
Owner, repository and id zulip/zulip#2000

The id can occur at any time in the message. You can also mention multiple ids in a single message. For example:

@**GitHub Detail Bot** find me #5176 and zulip/zulip#4534 .

You can configure a default owner and repository. The configuration file should be located at api/bots/github_detail/github_detail.conf. It should look like this:

[github_detail]
owner = <repository owner>
repo = <repository name>