How to pull a repo by other, after rename the branch name in git?

Question

I have 2 branches in my repo. master and dev . I want to rename dev to old-dev and create a new dev .

I renamed dev to old-dev in my local and origin by these codes:

git branch -m dev old-dev
git push origin --delete dev
git branch --unset-upstream old-dev
git push origin old-dev
git push origin -u old-dev

then I create a new dev branch. Now I have master , old-dev and dev in the origin.

But other teammates have master and dev (This dev is the same old-dev )

What do they need to do to sync with this process? If they just pull, all the branches will be correct?

Answer 1

I fixed the issue. They should delete dev first and then pull

git branch -D dev
git pull --all