Re: [COMMITTERS] pgsql: Branch refs/heads/REL9_1_STABLE was removed

On 06/28/2011 10:39 AM, Tom Lane wrote:
> Magnus Hagander<magnus(at)hagander(dot)net> writes:
>> We discussed earlier to potentially block the creation, and removal,
>> of branches on the origin server, to prevent mistakes like this. It
>> has only happened once in almost a year, so it's probably not
>> necessary - but I wanted to raise the option anyway in case people
>> forgot about it.
>> The downside would be that in order to create or drop a branch *when
>> intended* a committer would need someone from the infrastructure team
>> to temporarily switch off the branch-blocking setting, and then back
>> on..
> I think it would be sensible to block branch removal, as there's
> basically never a scenario where we'd do that during current usage.
> I'm not excited about blocking branch addition, although I worry
> sooner or later somebody will accidentally push a private development
> branch :-(. Is it possible to block only removal and not addition?
>
>

+1. Spurious branch addition shouldn't cause us much pain - we'd just
remove the new branch. Unwanted deletion is more disruptive.

cheers

andrew