Taken from https://gist.github.com/lttlrck/9628955
Rename a branch both locally and on server.
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
git log --oneline -10 # Managable git log. git update-index --skip-worktree # If you want to make an untracked local change (like personal editorconfig changes)