Paolo RedaelliRename remote branch without deleting it
Quick oneliner for deleting old branch and creating a new one with same content is:
git push <remote> <remote>/<old>:refs/heads/<new> :<old>where
remoteis obvious – e.g. origin,oldandneware names of branches old and new respectively.