SHELL

git rename branch and force push

git checkout <old_name>
git branch -m <new_name>
# reset upstream branch if old branch is already pushed
git push origin -u <new_name>
git push origin --delete <old_name>