diff options
| author | Celina G. Val <celinval@amazon.com> | 2025-01-06 10:50:58 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-06 10:50:58 -0800 |
| commit | 5172364b6752ee3d9c7e3607b4acb293a0e5ec34 (patch) | |
| tree | f7da1234fca434eb5daf6c0ba9acf90656b69291 | |
| parent | 243d2ca4db6f96d2d18aaf3a2381251d38eb6b0b (diff) | |
| download | rust-5172364b6752ee3d9c7e3607b4acb293a0e5ec34.tar.gz rust-5172364b6752ee3d9c7e3607b4acb293a0e5ec34.zip | |
Update triagebot.toml: celinval vacation is over
I'm also removing myself from the MIR syntax changes notifications.
| -rw-r--r-- | triagebot.toml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/triagebot.toml b/triagebot.toml index 7efa63c2642..2a0ad610c1a 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -824,7 +824,7 @@ cc = ["@rust-lang/rustfmt"] [mentions."compiler/rustc_middle/src/mir/syntax.rs"] message = "This PR changes MIR" -cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@celinval", "@vakaras"] +cc = ["@oli-obk", "@RalfJung", "@JakobDegen", "@davidtwco", "@vakaras"] [mentions."compiler/rustc_error_messages"] message = "`rustc_error_messages` was changed" @@ -1004,7 +1004,6 @@ warn_non_default_branch.enable = true contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html" users_on_vacation = [ "jyn514", - "celinval", "nnethercote", "spastorino", "workingjubilee", |