Re: Caution when removing git branches

Tom Lane wrote:
> Andrew Dunstan <andrew@dunslane.net> writes:
> > On 01/27/2011 11:29 AM, Tom Lane wrote:
> >> Given that nobody is supposed to push temporary branches to the master
> >> repo anyway, an intended branch removal should be a pretty darn rare
> >> event.
> 
> > Pushing a local topic branch by mistake seems much more likely to me. 
> 
> Yeah, that's probably true.
> 
> > Some protection against that mightn't be a bad idea. Maybe for example a 
> > check on the branch name?
> 
> If we *don't* install branch-removal defenses on the server, then it's
> easy enough to clean up an erroneous branch push.  Only if we do that
> does this scenario become a problem.  I find myself agreeing with Robert
> that we may be creating an issue where none exists.
> 
> At this point my vote is to leave it alone until and unless we see that
> people actually make this type of mistake regularly.

OK, I posted the information just so people would be aware of this issue
--- I didn't expect it to be common or something we needed to protect
against.

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