git branch -D master 
git branch -D develop
git fetch
git checkout master 
git checkout develop

 

 

Vlastimil Pošmura, 2021