miri icon indicating copy to clipboard operation
miri copied to clipboard

Make r? work in our PRs

Open RalfJung opened this issue 1 year ago • 8 comments

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

RalfJung avatar May 01 '24 10:05 RalfJung

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

tiif avatar May 02 '24 23:05 tiif

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...

RalfJung avatar May 03 '24 06:05 RalfJung

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

tiif avatar May 03 '24 08:05 tiif

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.

rustbot avatar May 03 '24 08:05 rustbot

Uh oh... @rustbot claim

tiif avatar May 03 '24 08:05 tiif

Nice @rustbot release-assignment

tiif avatar May 03 '24 08:05 tiif

I think this is blocked on triagebot improvements:

  • https://github.com/rust-lang/triagebot/issues/1805
  • https://github.com/rust-lang/triagebot/issues/1806

RalfJung avatar May 03 '24 09:05 RalfJung

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

RalfJung avatar May 03 '24 13:05 RalfJung

This should now work with r? (https://github.com/rust-lang/triagebot/pull/1937).

Kobzol avatar Apr 17 '25 08:04 Kobzol

Awesome, thanks a lot :-)

RalfJung avatar Apr 17 '25 08:04 RalfJung

Successfully tested in https://github.com/rust-lang/miri/pull/4273 :)

RalfJung avatar Apr 17 '25 08:04 RalfJung