[eclipse-dev] Discussion on deleting branches/tags from the public repo

[Paul Webster <pwebster@xxxxxxxxxxxxxxxxxxx>]

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

-- 
Paul Webster
Hi floor.  Make me a sammich! - GIR