1. Delete the local branch
I want to delete the local branch dev
1. First switch to another local branch, here I switch to the local master
git checkout master
2. Delete the local branch dev
git branch -D dev
2. Re-pull the remote branch dev to the local
1. Operate under the master branch and pull the remote branch dev to the local
git fetch origin dev
2. Operate under the master branch and create a new dev branch locally
git checkout -b dev origin/dev
3. Switch to the local dev branch and pull all the contents of dev to the local
git pull origin dev