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.
regards, tom lane
