Rollup merge of #136821 - marcoieni:infra-ci-review, r=jackh726

assign marcoieni and jdno to infra-ci PRs
This commit is contained in:
Matthias Krüger 2025-02-11 02:53:45 +01:00 committed by GitHub
commit b38a6c0c1b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1096,6 +1096,8 @@ bootstrap = [
infra-ci = [
"@Mark-Simulacrum",
"@Kobzol",
"@marcoieni",
"@jdno",
]
rustdoc = [
"@GuillaumeGomez",