triagebot: configure some pings when certain attributes are used

[RalfJung]

Let's try this out in practice. :)

Cc @rust-lang/miri @rust-lang/wg-const-eval @Urgau

[rustbot]

r? @Mark-Simulacrum

rustbot has assigned @Mark-Simulacrum.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[rustbot]

triagebot.toml has been modified, there may have been changes to the review queue.

cc @davidtwco, @wesleywiser

[Urgau]

Hum, tidy will need to be adjusted to take into account this new mode.

rust/src/tools/tidy/src/triagebot.rs

Lines 20 to 22 in fd75a9c

	// Check [mentions."*"] sections, i.e. [mentions."compiler/rustc_const_eval/src/"]
	if let Some(Value::Table(mentions)) = config.get("mentions") {
	for path_str in mentions.keys() {

Probably by doing something like this:

for (entry_key, entry_val) in &mentions {
    if entry_val.get("type") != Some("filename") {
       continue; 
    }
    let path_str = entry_key;
}

[RalfJung]

That would skip all the existing ones where there is no type, right?

[Urgau]

That would skip all the existing ones where there is no type, right?

Yeah, my bad. I had the condition reversed at first.

[Urgau]

@bors r+ rollup

[bors]

📌 Commit 2d20ee7 has been approved by Urgau

It is now in the queue for this repository.