Subject: Git Strange behaviour with remote deleted branch

From: Reda Lyazidi <[email-masked]>
Date: Mon, 19 Jun 2017 23:33:04 +0200

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.