On Thu, Jan 27, 2011 at 17:36, Andrew Dunstan <and...@dunslane.net> wrote: > > > 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?
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? -- Magnus Hagander Me: http://www.hagander.net/ Work: http://www.redpill-linpro.com/ -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
