• Rename local branch.
  -> If in branch to rename: git branch -m new-name
  -> else (currently on a different one) : git branch -m old-name new-name
• Delete old-name on the remote branch & push new-name branch : git push origin :old-name new-name
• Reset remote for the new branch. Switch to branch "new-name" & git push origin -u new-name

Done