Renaming a remote Git branchEdit
$ git checkout oldname
$ git checkout -b newname
$ git push origin newname # re-add as new branch
$ git push origin :oldname # delete old branch
$ git checkout oldname
$ git checkout -b newname
$ git push origin newname # re-add as new branch
$ git push origin :oldname # delete old branch