Rollup merge of #127521 - spastorino:remove-myself-from-smir-pings, r…

…=lqd Remove spastorino from SMIR r? ```@oli-obk```
rust-lang · Jul 10, 2024 · 103a772 · 103a772
2 parents 64695ad + 4700b5b
commit 103a772
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/triagebot.toml b/triagebot.toml
@@ -1050,7 +1050,6 @@ project-const-traits = [
 project-stable-mir = [
     "@celinval",
     "@oli-obk",
-    "@spastorino",
     "@ouz-a",
 ]