rotate types team leadership

nikomatsakis · nikomatsakis · commit f07791d08d5f · 2024-04-12T09:27:32.000-04:00
jackh726 = senior lead
lcnr = junior lead
diff --git a/teams/types.toml b/teams/types.toml
@@ -4,7 +4,7 @@ name = "types"
 subteam-of = "compiler"
 
 [people]
-leads = ["nikomatsakis", "jackh726"]
+leads = ["jackh726", "lcnr"]
 members = [
     "aliemjay",
     "BoxyUwU",
