git-rename-branch: add page

[CleanMachine1]

• The page (if new), does not already exist in the repo.
• The page has 8 or fewer examples.
• The PR title conforms to the recommended templates.
• The page follows the content guidelines.
• The page is in the correct platform directory (common/, linux/, etc.)
• The page description includes a link to documentation or a homepage (if applicable).

For #5137

[bl-ue]

Cool! But I don't even see why this tool is that useful, because git branch -m main, for example, has always worked perfectly for me to change the current branch's name. 🤔

[CleanMachine1]

I think it just auto pushes it to upstream, does your command do that?

[bl-ue]

Nope. It just changes it locally. I can see now why that would be useful, because configuring local vs. remote branches can be difficult! 😝

[CleanMachine1]

it actually doesn't set upstream.. and it doesn't push

 git push
fatal: The current branch testupdated has no upstream branch.
To push the current branch and set the remote as upstream, use

    git push --set-upstream origin testupdated

[CleanMachine1]

Nevermind, it does change the name and push it, but only if the branch you are changing is already on origin

[CleanMachine1]

And with this, I would like to apply for collaborator, where do I ask?