Source: https://multiplestates.wordpress.com/2015/02/05/rename-a-local-and-remote-branch-in-git/

Just did my first rename of a branch from “master” to “main”. It was overdue. “Master” is kind of a weird name for a main branch, isn’t it?

(I should just make a shell script for this or something.)