2017-03-04 23:22:44 +01:00
|
|
|
# Using zulipbot
|
|
|
|
|
|
|
|
Zulip uses [@zulipbot](https://github.com/zulipbot), a GitHub workflow bot
|
|
|
|
deployed on all Zulip repositories, to handle issues and pull requests in our
|
|
|
|
repositories in order to create a better workflow for Zulip contributors.
|
|
|
|
|
|
|
|
Its purpose is to work around various limitations in GitHub's
|
|
|
|
permissions and notifications systems to make it possible to have a
|
|
|
|
much more democractic workflow for our contributors. It allows anyone
|
|
|
|
to self-assign or label an issue, not just the core contributors
|
|
|
|
trusted with full write access to the repository (which is the only
|
|
|
|
model GitHub supports).
|
|
|
|
|
|
|
|
## Usage
|
|
|
|
|
|
|
|
* **Claim an issue** — Comment `@zulipbot claim` on the issue you want
|
|
|
|
to claim; **@zulipbot** will assign you to the issue and label the issue as
|
|
|
|
**in progress**.
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* If you're a new contributor, **@zulipbot** will give you read-only
|
2017-03-04 23:22:44 +01:00
|
|
|
collaborator access to the repository and leave a welcome message on the
|
|
|
|
issue you claimed.
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* You can also claim an issue that you've opened by including
|
2017-03-04 23:22:44 +01:00
|
|
|
`@zulipbot claim` in the body of your issue.
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* If you accidentally claim an issue you didn't want to claim, comment
|
2017-03-04 23:22:44 +01:00
|
|
|
`@zulipbot abandon` to abandon an issue.
|
|
|
|
|
|
|
|
* **Label your issues** — Add appropriate labels to issues that you opened by
|
2018-09-18 10:06:24 +02:00
|
|
|
including `@zulipbot add` in an issue comment or the body of your issue
|
2017-03-04 23:22:44 +01:00
|
|
|
followed by the desired labels enclosed within double quotes (`""`).
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* For example, to add the **bug** and **help wanted** labels to your
|
2018-09-18 10:06:24 +02:00
|
|
|
issue, comment or include `@zulipbot add "bug" "help wanted"` in the
|
2017-03-04 23:22:44 +01:00
|
|
|
issue body.
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* You'll receive an error message if you try to add any labels to your issue
|
2017-03-04 23:22:44 +01:00
|
|
|
that don't exist in your repository.
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* If you accidentally added the wrong labels, you can remove them by commenting
|
2017-03-04 23:22:44 +01:00
|
|
|
`@zulipbot remove` followed by the desired labels enclosed with double quotes
|
|
|
|
(`""`).
|
|
|
|
|
2017-09-22 06:44:28 +02:00
|
|
|
* **Find unclaimed issues** — Use the [GitHub search
|
2019-02-26 02:49:09 +01:00
|
|
|
feature](https://help.github.com/en/articles/using-search-to-filter-issues-and-pull-requests)
|
2017-03-04 23:22:44 +01:00
|
|
|
to find unclaimed issues by adding one of the following filters to your search:
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* `-label: "in progress"` (excludes issues labeled with the **in progress** label)
|
2017-03-04 23:22:44 +01:00
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
* `no:assignee` (shows issues without assignees)
|
2017-03-04 23:22:44 +01:00
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
Issues labeled with the **in progress** label and/or assigned to other users have
|
|
|
|
already been claimed.
|
2017-03-04 23:22:44 +01:00
|
|
|
|
2017-09-22 06:44:28 +02:00
|
|
|
* **Collaborate in area label teams** — Receive notifications on
|
|
|
|
issues and pull requests within your fields of expertise on the
|
|
|
|
[Zulip server repository](https://github.com/zulip/zulip) by joining
|
|
|
|
the Zulip server
|
|
|
|
[area label teams](https://github.com/orgs/zulip/teams?utf8=✓&query=Server)
|
|
|
|
(Note: this link only works for members of the Zulip organization;
|
|
|
|
we'll happily add you if you're interested). These teams correspond
|
|
|
|
to the repository's
|
|
|
|
[area labels](https://github.com/zulip/zulip/labels), although some
|
|
|
|
teams are associated with multiple labels; for example, the **area:
|
|
|
|
message-editing** and **area: message view** labels are both related
|
|
|
|
to the
|
|
|
|
[Server message view](https://github.com/orgs/zulip/teams/server-message-view)
|
|
|
|
team. Feel free to join as many area label teams as as you'd like!
|
2017-03-04 23:22:44 +01:00
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
After your request to join an area label team is approved, you'll receive
|
|
|
|
notifications for any issues labeled with the team's corresponding area
|
|
|
|
label as well as any pull requests that reference issues labeled with your
|
|
|
|
team's area label.
|
2017-03-04 23:22:44 +01:00
|
|
|
|
2017-03-16 02:01:23 +01:00
|
|
|
* **Track inactive claimed issues** — If a claimed issue has not been updated
|
|
|
|
for a week, **@zulipbot** will post a comment on the inactive issue to ask the
|
|
|
|
assignee(s) if they are still working on the issue.
|
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
If you see this comment on an issue you claimed, you should post a comment
|
|
|
|
on the issue to notify **@zulipbot** that you're still working on it.
|
2017-03-16 02:01:23 +01:00
|
|
|
|
2021-08-20 21:43:11 +02:00
|
|
|
If **@zulipbot** does not receive a response from the assignee within 3 days
|
|
|
|
of an inactive issue prompt, **@zulipbot** will automatically remove the
|
|
|
|
issue's current assignee(s) and the "in progress" label to allow others to
|
|
|
|
work on an inactive issue.
|
2017-03-16 02:01:23 +01:00
|
|
|
|
2017-03-04 23:22:44 +01:00
|
|
|
### Contributing
|
|
|
|
|
|
|
|
If you wish to help develop and contribute to **@zulipbot**, check out the
|
2018-03-05 19:46:17 +01:00
|
|
|
[zulip/zulipbot](https://github.com/zulip/zulipbot) repository on GitHub and read
|
2017-03-04 23:22:44 +01:00
|
|
|
the project's [contributing
|
2019-08-16 03:14:05 +02:00
|
|
|
guidelines](https://github.com/zulip/zulipbot/blob/master/.github/CONTRIBUTING.md#contributing) for
|
2017-03-04 23:22:44 +01:00
|
|
|
more information.
|