To rename a local git branch, you can use the command git branch with the option -m.
If you're in the branch you want to rename, just do
git branch -m new-name
If you are in another branch, you can do
git branch -m old-name new-name
If you want to rename a remote git branch, you can just delete the old branch and push the new one.
I also found the command
git push origin :old-name new-name
but I have never used this command and when I quickly scanned the documentation for git push I couldn't find out what the :old-name new-name really does.
(Comment below if you know!)
That's it for now! Stay tuned and I'll see you around!
Get ready for 12 intense days of problem-solving. The βAlgorithm Mastery Bootcampβ starts December 1st and it will feature 24 programming challenges, live analysis sessions, a supportive community of like-minded problem-solvers, and more! Join now and become the Python expert others can rely on.