diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-12-15 20:19:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-15 20:19:55 +0100 |
| commit | 39b6f458c3e51d960d5b7a1da409e0e291f47690 (patch) | |
| tree | 1c36179c11357b3f694ee188ea86c19c17c04ab9 | |
| parent | ae9e08e65ee76fca37ee8104f1578abf19afa993 (diff) | |
| parent | c3dd266f4727baa885c87266874efe9e42b5e34d (diff) | |
| download | rust-39b6f458c3e51d960d5b7a1da409e0e291f47690.tar.gz rust-39b6f458c3e51d960d5b7a1da409e0e291f47690.zip | |
Rollup merge of #118985 - JohnTitor:rm-jtitor-diag-pings, r=compiler-errors
Remove @JohnTitor from diagnostics pings I've been inactive around diagnostics for a while so would like to remove myself from the diagnostics-related ping groups for now.
| -rw-r--r-- | triagebot.toml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/triagebot.toml b/triagebot.toml index 604d2eaee57..2867bbc8171 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -563,15 +563,15 @@ cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval", "@vakar [mentions."compiler/rustc_error_messages"] message = "`rustc_error_messages` was changed" -cc = ["@davidtwco", "@compiler-errors", "@JohnTitor", "@TaKO8Ki"] +cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"] [mentions."compiler/rustc_errors/src/translation.rs"] message = "`rustc_errors::translation` was changed" -cc = ["@davidtwco", "@compiler-errors", "@JohnTitor", "@TaKO8Ki"] +cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"] [mentions."compiler/rustc_macros/src/diagnostics"] message = "`rustc_macros::diagnostics` was changed" -cc = ["@davidtwco", "@compiler-errors", "@JohnTitor", "@TaKO8Ki"] +cc = ["@davidtwco", "@compiler-errors", "@TaKO8Ki"] [mentions."compiler/stable_mir"] message = "This PR changes Stable MIR" |