diff options
| author | 许杰友 Jieyou Xu (Joe) <39484203+jieyouxu@users.noreply.github.com> | 2025-08-19 19:50:06 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-19 19:50:06 +0800 |
| commit | 9d957a867769bb0329d7212afd9147139457ed98 (patch) | |
| tree | 79c905fcc6484e627d4bd22009e19b4ae2fbced0 /triagebot.toml | |
| parent | 3e1a63d31dfcb8dc2b91cd75946849971d809816 (diff) | |
| parent | abcfa4390d5d170dfb4c4a12653bf5628a04d421 (diff) | |
| download | rust-9d957a867769bb0329d7212afd9147139457ed98.tar.gz rust-9d957a867769bb0329d7212afd9147139457ed98.zip | |
Rollup merge of #145571 - davidtwco:davidtwco-remove-from-groups, r=lqd
remove myself from some adhoc-groups and pings Removing myself from some adhoc-groups related to the MIR as its been quite a while since I've worked in that area
Diffstat (limited to 'triagebot.toml')
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/triagebot.toml b/triagebot.toml index 2c201d5d004..27b26640a8e 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -1070,7 +1070,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" @@ -1404,7 +1404,6 @@ arena = [ "@spastorino", ] mir = [ - "@davidtwco", "@oli-obk", "@matthewjasper", "@saethlin", |