Merge pull request #1739 from Kobzol/rename-final

Add a note that the rust-lang/rust default branch has happened

Author: Kobzol

content/inside-rust/renaming-the-default-branch-of-rust-lang-rust.md

@@ -9,6 +9,8 @@ team = "the Infra team"
 team_url = "https://www.rust-lang.org/governance/teams/infra#team-infra"
 +++
 
+> The rename happened on November 10, 2025. The default branch of `rust-lang/rust` is now named `main`. 
+
 We will be renaming the default branch of the [rust-lang/rust repository](https://github.com/rust-lang/rust) from `master` to `main` on 2025-11-10. We've chosen `main` specifically as it's the default for newly-created repositories [in GitHub][github-change] and the renaming will leverage the [GitHub tooling][github-tooling] built to make this easier.
 
 If you maintain a tool that currently assumes the default branch of `rust-lang/rust` is named `master`, using `HEAD` instead will work both before and after the rename.