Git Strange behaviour with remote deleted branch

Question

with git I noticed when I removed a remote branch with git push origin --delete in my clone when I used git branch -a I don't the deleted branch but my colleagues still see it.

I tried with two clones in my PC, with the first one delete branch and the other still sees it despite git pull .

I use git version 2.9.4

Answer 1

Normally Git will not remove a remote's branch refs on a fetch (or pull) operation. This is a safety measure, since you might still have a use for that branch (for example to run diff against or similar).

In order to remove branches that have been deleted in your remote, you must use the --prune (or -p) option to git fetch or git pull:

 git pull -p

will get rid of them.