Rollup merge of #134120 - oli-obk:push-vryonyoqmonv, r=oli-obk

Remove Felix from ping groups and review rotation
This commit is contained in:
León Orell Valerian Liehr 2024-12-10 20:16:07 +01:00 committed by GitHub
commit e60f6cdd3d
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1014,7 +1014,6 @@ compiler = [
"@Noratrieb",
"@oli-obk",
"@petrochenkov",
"@pnkfelix",
"@SparrowLii",
"@wesleywiser",
]
@ -1107,7 +1106,6 @@ types = [
]
borrowck = [
"@davidtwco",
"@pnkfelix",
"@matthewjasper"
]
ast_lowering = [