GIT rename local and remote

https://stackoverflow.com/questions/33066528/should-i-use-docker-compose-up-or-run 

1. Rename your local branch:

   • If you are on the branch you want to rename:
     git branch -m new-name

   • If you are on a different branch:
     git branch -m old-name new-name

2. Delete the old-name remote branch and push the new-name local branch:
   git push origin :old-name new-name

3. Reset the upstream branch for the new-name local branch: (set upstream to local new-name to remote new-name, if remote doesn’t have it , create remote branch origin/new-name then set up tracking)
   Switch to the branch and then:
   git push origin -u new-name