"Changing the git branch name" is outdated

[mr-cal]

Overview

The "Changing the git branch name" section of the Implementation page is out of date.

Details

From the page:

Their recommendation is to wait until later in the year (2020) to change branch names. However, if you want to start work, we recommend the following [...]

There have been some changes since this was last updated:

1. GitHub now has an option for renaming branches.
2. GitLab also has extensive support for changing default branch names.
3. New GitLab and GitHub projects have a default branch of main.
4. New git configuration allows you to change the default branch name on your local machine

Source

• https://inclusivenaming.org/language/implementation-path/#changing-the-git-branch-name
• https://github.com/inclusivenaming/website/blob/main/content/language/implementation-path.md#changing-the-git-branch-name