delete remote branches

From: Patrick Grimard <hidden>
Date: 2016-06-15 22:47:51

I'm experimenting with Git, just trying to get a feel for it.  I
created a bare git repo on a server and pushed a local git repo (let's
call it DIR1) from my PC to the server.  Then from another directory
on my local PC (let's call it DIR2), I cloned the repo on the server
and checked out a new branch named testBranch.  Did some playing with
branches to see how they worked, like pushing the branch to the server
from DIR2 and fetching it from DIR1, merging it into master and then
pushing master back to the server.  Now from DIR2, I fetched master
from the server, merged in the changes and deleted the remote branch
called testBranch using the command "git push origin :testBranch"
which seemed to work fine since the command "git branch -r" no longer
lists the remote branch.  However from DIR1 if I do "git branch -r" I
still see the remote branch and can't seem to delete it using the
above method.  Any idea why this is happening?

Thanks in advance.

Patrick
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help