Add myself to the infra-ci
reviewer group and adjust some infra auto-labels#144063
Merged
bors merged 2 commits intorust-lang:masterfrom Jul 18, 2025
Merged
Add myself to the `infra-ci` reviewer group and adjust some infra auto-labels#144063bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom