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.