Product
OVERVIEW
FEATURES
USE CASES
Case Studies
BUSINESS EDUCATION and RESEARCH OPEN SOURCE and COMMUNITIES
Resources
FOR USERS FOR ADMINISTRATORS
Pricing
Download
New organization
Log in
Sign up

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>

Logos are trademarks of their respective owners. None of the integrations on this page are created by, affiliated with, or supported by the companies represented by the logos.