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
........
prune
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
https://groups.google.com/d/msg/git-users/-/_Yf3cN6q2UYJ.
To post to this group, send email to git-users@googlegroups.com.
To unsubscribe from this group, send email to
git-users+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/git-users?hl=en.
