You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/development.md
+6Lines changed: 6 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -57,6 +57,11 @@ One-time setup:
57
57
- Subscribe it to webhook events `Issue comment`, `Pull request`, `Pull request review`, `Pull request review comment` and `Workflow run`.
58
58
- Install your GitHub app on some test repository where you want to test bors.
59
59
- Don't forget to configure `rust-bors.toml` in the root of the repository, and also add some example CI workflows.
60
+
- Create try/review permissions for Github users
61
+
- Copy a review json file `cp data/permissions/bors.review.json.example data/permissions/bors.review.json`
62
+
- Copy a try json file `cp data/permissions/bors.try.json.example data/permissions/bors.try.json`
63
+
- Get your Github user `ID``https://api.github.com/users/<your_github_user_name>`
64
+
- Edit both `bors.review.json` and `bors.try.json` files to include your GitHub `ID`: `{ "github_ids": [12345678] }`
60
65
61
66
Everytime you want to run bors:
62
67
- Run bors locally.
@@ -65,6 +70,7 @@ Everytime you want to run bors:
65
70
- Set `PRIVATE_KEY` to the private key of the app.
66
71
- (optional) Set `WEB_URL` to the public URL of the website of the app.
67
72
- (optional) Set `CMD_PREFIX` to the command prefix used to control the bot (e.g. `@bors`).
73
+
- (optional) Set `PERMISSIONS``"data/permissions"` directory path to list users with permissions to perform try/review.
68
74
- Set up some globally reachable URL/IP address for your computer, e.g. using [ngrok](https://ngrok.com/).
69
75
- Configure the webhook URL for your app to point to `<address>/github`. You can use [gh webhook](https://docs.github.com/en/webhooks/testing-and-troubleshooting-webhooks/using-the-github-cli-to-forward-webhooks-for-testing) for that.
70
76
- Try `@bors ping` on some PR on the test repository :)
0 commit comments