diff options
| author | Yuki Okushi <jtitor@skiff.com> | 2023-12-16 00:15:15 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-16 00:15:15 +0900 |
| commit | c3dd266f4727baa885c87266874efe9e42b5e34d (patch) | |
| tree | 73bc3e70af0e62301227f840cb8b19d0de002100 | |
| parent | 4d1bd0db7f489b22c6d8aa2385937a95412c015b (diff) | |
| download | rust-c3dd266f4727baa885c87266874efe9e42b5e34d.tar.gz rust-c3dd266f4727baa885c87266874efe9e42b5e34d.zip | |
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 30f049c79d6..24b82c5cfaa 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -555,15 +555,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" |
