diff options
| author | David Wood <david.wood2@arm.com> | 2025-08-18 06:36:32 +0000 |
|---|---|---|
| committer | David Wood <david.wood2@arm.com> | 2025-08-18 06:36:42 +0000 |
| commit | abcfa4390d5d170dfb4c4a12653bf5628a04d421 (patch) | |
| tree | d48922f92632d7286b0895f82a75f55e8fed8a88 | |
| parent | 2c1ac85679678dfe5cce7ea8037735b0349ceaf3 (diff) | |
| download | rust-abcfa4390d5d170dfb4c4a12653bf5628a04d421.tar.gz rust-abcfa4390d5d170dfb4c4a12653bf5628a04d421.zip | |
remove myself from some adhoc-groups and pings
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/triagebot.toml b/triagebot.toml index 6f6e95c5b50..67182d95b3d 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -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", |