Renaming the default branch of Rust-lang/rust