Re: Caution when removing git branches

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.  Now, our committers all seem to be pretty careful people, so
> I don't feel strongly about having extra security on this --- but if
> it's easy to do, it's probably a good idea.
>

Pushing a local topic branch by mistake seems much more likely to me. 
Some protection against that mightn't be a bad idea. Maybe for example a 
check on the branch name?

cheers

andrew