Re: Caution when removing git branches

Robert Haas wrote:
> On Thu, Jan 27, 2011 at 11:41 AM, Bruce Momjian <bruce@momjian.us> wrote:
> >> Or for that we could just disable branch creation *completely*, and
> >> then turn off that restriction that one time / year that we actually
> >> create a branch?
> >
> > Well, branch creation can always be undone --- branch removal seems like
> > the big problem because it can't.
> 
> As I've repeatedly said, branch removal CAN be undone.  I don't see
> any evidence that we have an actual problem here that needs worrying
> about.

OK, someone removes a branch.  If it is still in his local tree, he can
push it back.  If not, he has to go around and find someone who does
have it, and who has the most recent copy?  Can master be removed too?

--  Bruce Momjian  <bruce@momjian.us>        http://momjian.us EnterpriseDB
http://enterprisedb.com
 + It's impossible for everything to be true. +