Hi Thorsten,

Each user has a full clone of the origin repository. As it is distributed, 
each user will have all branches (even though they "remote branches", they 
also fully exist in each clone.

So user b can still do a 

git checkout origin/branch/test 

.. and keep working on that branch, push it to origin (thereby re-creating 
it), etc.

If a user wants to clean up remote branches that don't exist any more, the 
key-words are *git remote prune*. 

$git remote --help
           Deletes all stale tracking branches under <name>. These stale 
branches have already been removed from the remote repository referenced by 
<name>, but are still locally
           available in "remotes/<name>".
So, *git remote prune origin* for user-b should do the trick,.

You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To view this discussion on the web visit 
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to 
For more options, visit this group at 

Reply via email to