Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[eclipse-dev] Discussion on deleting branches/tags from the public repo

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


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

Back to the top