Skip to content

add "bors reroll" #1762

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.

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

Open
trevyn opened this issue Jan 21, 2024 · 2 comments · Fixed by #1958
Open

add "bors reroll" #1762

trevyn opened this issue Jan 21, 2024 · 2 comments · Fixed by #1958
Labels
A-assign-PR Area: PR auto assignment and welcome messages

Comments

@trevyn
Copy link

trevyn commented Jan 21, 2024

rust-lang/rust#119752 (comment)

@bors reroll

to pick a new reviewer

this has been haunting me

@Mark-Simulacrum Mark-Simulacrum transferred this issue from rust-lang/homu Jan 21, 2024
@Mark-Simulacrum
Copy link
Member

bors/homu doesn't handle reviewers at all, so moving to triagebot.

@ehuss
Copy link
Contributor

ehuss commented May 26, 2025

I'm going to reopen since I don't think this is resolved by #1958. This issue is about asking triagebot to find someone else to assign based on the owner map. If I get assigned a PR and I want to reassign it, I don't want to have to go look at the map to figure out who might be a good candidate. You also can't directly emulate the random choice among a set of different groups and individuals.

@ehuss ehuss reopened this May 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-assign-PR Area: PR auto assignment and welcome messages
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants