user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

remove myself from some adhoc-groups and pings

Browse source
This commit is contained in:
David Wood 2025-08-18 06:36:32 +00:00
parent 2c1ac85679
commit abcfa4390d
No known key found for this signature in database
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
triagebot.toml
View file

@ -1061,7 +1061,7 @@ cc = ["@rust-lang/rustfmt"]
[mentions."compiler/rustc_middle/src/mir/syntax.rs"]
message = "This PR changes MIR"
cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@vakaras"]
cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@vakaras"]
[mentions."compiler/rustc_error_messages"]
message = "`rustc_error_messages` was changed"
@ -1397,7 +1397,6 @@ arena = [
"@spastorino",
]
mir = [
"@davidtwco",
"@oli-obk",
"@matthewjasper",
"@saethlin",