Hello,with git I noticed when I removed a remote branch with git push origin --delete <the branch>
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 Kind regards.
