
git checkout develop
git branch -m old-branch-name new-branch-name
git push origin new-branch-name
git push origin --delete old-branch-name
git branch -u origin/new-branch-name new-branch-name
git checkout old-branch-name
git branch -m old-branch-name new-branch-name
git push origin -u new-branch-name
git push origin --delete old-branch-name