Merge pull request #1002 from nikomatsakis/patch-4

Author: badboy

teams/interim-leadership-chat.toml

@@ -7,7 +7,6 @@ leads = []
 members = [
     "badboy",
     "cuviper",
-    "jntrnr",
     "joshtriplett",
     "jtgeibel",
     "khionu",