rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.17k stars 320 forks source link

Make r? work in our PRs #3528

Open RalfJung opened 2 months ago

RalfJung commented 2 months ago

Is there a way that we can get r? to work without automatic reviewer assignment?

tiif commented 2 months ago

Since the documentation mentioned this:

Ghost

Using r? ghost in the initial PR top-level comment when opening a PR will disable triagebot’s auto-assignment. ghost is GitHub’s placeholder account for deleted accounts. It is used here for convenience. This is typically used for rollups or experiments where you don’t want any assignments or noise.

I wonder if a hack like below would work?

[assign.adhoc_groups]
miri = ["@username1", "@username2", "@username3"]

# Triagebot will pick one person from here to assign
[assign.owners]
# match all file with "*"
"*" = ["@ghost"]

When looking up a name, triagebot will first look at ad-hoc groups, then rust-lang teams, and if it doesn’t match either of those it assumes it is a GitHub user.

assign.adhoc_groups is to choose a random person from the miri team by using r? miri, and r? @username1 will work without any configuration.

source: triagebot pr assignment documentation

RalfJung commented 2 months ago

I would have hoped that just not having any owners would do it, but currently we can't use r? at all for some reason...

tiif commented 2 months ago

hmm, strange. I'd like to test if @rustbot claim would work here too.

rustbot commented 2 months ago

Error: Parsing assign command in comment failed: ...' claim' | error: expected end of command at >| ' would wor'...

Please file an issue on GitHub at triagebot if there's a problem with this bot, or reach out on #t-infra on Zulip.

tiif commented 2 months ago

Uh oh... @rustbot claim

tiif commented 2 months ago

Nice @rustbot release-assignment

RalfJung commented 2 months ago

I think this is blocked on triagebot improvements:

RalfJung commented 2 months ago

For now apparently we can use @rustbot assign $name instead of r? and that should work in PRs as well.