GitHub repository: rust-lang/infra-team
Description: Coordination repository for the Rust infra team