Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add pull request preferences backoffice #1744

Closed
wants to merge 11 commits into from
Closed

Add pull request preferences backoffice #1744

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
050e488
Add pull request preferences backoffice
apiraino Sep 12, 2023
f7e3e97
PR preferences backoffice impl
apiraino Sep 12, 2023
4059c97
Avoid triggering spurious triagebot command
apiraino Sep 12, 2023
30dceea
Update dependencies and documentation
apiraino Sep 12, 2023
8087779
Add PR backoffice logic
apiraino Sep 12, 2023
6a13ed6
Add more TODO items
apiraino Sep 14, 2023
48c4f26
Remove redundant teams members download
apiraino Sep 28, 2023
ce8b243
Initial setup of review preferences
apiraino Sep 28, 2023
e8cc894
Update documentation
apiraino Sep 28, 2023
2fb864e
Merge branch 'master' into pr-review-prefs-3
apiraino Nov 8, 2023
d0faf47
Add new PR review assignment
apiraino Nov 8, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions .env.sample
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,21 @@ GITHUB_WEBHOOK_SECRET=MUST_BE_CONFIGURED
# `RUSTC_LOG` is not required to run the application, but it makes local development easier
# RUST_LOG=MUST_BE_CONFIGURED

# Your local triagebot will be reachable from the internet using this URL
# This is useful if you configure a webhook from GitHub and want to use your local triagebot as receiving end of the GitHub webhooks.
TRIAGEBOT_HOST=http://7e9ea9dc.ngrok-free.app

# Flag to enable the new pull request assignment workflow (see pr_prefs_backoffice.md).
# If this env var is UNSET, the old pull request assignment is used (basically random assignment).
# If this env var is SET, the new pull request assignment reads the Rust contributors preferences and assigns PRs accordingly.
USE_NEW_PR_ASSIGNMENT=yes

# A comma separated list of teams that are allowed to use the new PR assignment workflow.
# Used to limit the number of users during the test phase.
# Team name matches names in the rust-lang/team repository:
# https://github.com/rust-lang/team/tree/master/teams
NEW_PR_ASSIGNMENT_TEAMS=compiler,compiler-contributors

# If you are running a bot on non-rustbot account,
# this allows to configure that username which the bot will respond to.
# For example write blahblahblah here, if you want for this bot to
Expand Down
Loading
Loading