about summary refs log tree commit diff
diff options
context:
space:
mode:
authorJacob Pratt <jacob@jhpratt.dev>2024-07-10 00:37:13 -0400
committerGitHub <noreply@github.com>2024-07-10 00:37:13 -0400
commit103a77202a3fbf3fc763e1dbb1e0bed536116a90 (patch)
tree2c544eca4c034dae18b11352a9de33e5698cc141
parent64695adbd78c0162bde6957f3b66ff737114eca1 (diff)
parent4700b5b01f51d2436b0cf1674f22eb6a72bb66c9 (diff)
downloadrust-103a77202a3fbf3fc763e1dbb1e0bed536116a90.tar.gz
rust-103a77202a3fbf3fc763e1dbb1e0bed536116a90.zip
Rollup merge of #127521 - spastorino:remove-myself-from-smir-pings, r=lqd
Remove spastorino from SMIR

r? ```@oli-obk```
-rw-r--r--triagebot.toml1
1 files changed, 0 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml
index 746a6630052..8767eb138a1 100644
--- a/triagebot.toml
+++ b/triagebot.toml
@@ -1050,7 +1050,6 @@ project-const-traits = [
 project-stable-mir = [
     "@celinval",
     "@oli-obk",
-    "@spastorino",
     "@ouz-a",
 ]