Rename a local and remote branch in git

Rename a local and remote branch in git

Often times when I’m coding things, I’ll create a git branch for a new exploration. I’ll give it a name but so often is the case, by the time I’ve got somewhere with that exploration I realise that branch name is no longer relevant. Well the above link nicely shows how to rename a branch both locally and remotely. Works a treat.