I don\'t want to rename a remote branch, as described in Rename master branch for both local and remote Git repositories.
How can I rename a local branch wh
Actually you have three steps because the local branch has a duplicate on the server so we have one step for local on two steps on the server:
git branch -m
git push :
git push -u