[git] Discussion on deleting branches/tags from the public repo

[Paul Webster]

We recently ran into a problem where a push inadvertently removed most of
the branches and tags from our public repo, eclipse.platform.ui.git and GCed
the orphaned commits, leaving us in a bad state. This was done through
normal git operations, and can be easily replicated from the command line or
a little script.

We'd like to discuss ways of preventing or limiting the damage to our public
repos from this kind of situation in the future. Please adds your comments
or insights to https://bugs.eclipse.org/bugs/show_bug.cgi?id=362076

Thanx,
PW