on some growing projects, there are git repositories to deal with developement situations,
however, a fatal naming issue may cause some maintenance problem.
I was facing this awkward issue recently,
so I had to rename my git repo's branch name locally and remotely
it's very basic, just deleted your remote branch and push a new one up,
so I followed the direction I looked up on google,
https://gitbook.tw/chapters/github/delete-remote-branch.html
http://note.drx.tw/2012/11/renaming-git-branch.html
1. change your directory loaction to where you want to deal with your project
2. checkout to another branch which is not you are going to rename it,
3. rename local branch using: git branch -m old_branch_name new_branch_name
4. using: git push origin :branch_name to delete remote branch
5. pushing new branch name using: git push origin new_branch_name
6. because your banch name changed, git will lost branch location locally and remotely, so using: git branch --unset-upstream
that's all.