On Wed, Jan 26, 2011 at 17:37, Andrew Dunstan <and...@dunslane.net> wrote:
>
>
> On 01/26/2011 11:26 AM, Bruce Momjian wrote:
>>
>> For those of you using git, I wanted to point out that it is fairly easy
>> to remove git branches.  For example, I can easily remove a branch on
>> my github repository using:
>>
>>        $ git branch -d :branch_name
>>
>> I don't believe that is revertable.  What is scarey is that this could
>> be done on our 'origin' as well.
>>
>
> The ability to remove branches is a feature. I strongly encourage you to
> create topic branches for development work, then merge them onto the main
> branch, and then delete them. I almost never work directly on, say,
> REL9_0_STABLE or master, except for quite trivial changes.
>
> I thought we had some hooks on gitmaster to help prevent accidents like
> inadvertent branch deletion.

We have hooks to prevent a number of things, but not the removal of
branches (or tags). We'll send an email to committers telling you it's
been done, but we don't prevent it.

It would probably be pretty easy to add a hook preventing it though -
do we want that? (we could still delete branches of course - but it
would require an admin to do it directly on the git server, which is
highly unlikely to happen by mistake)

-- 
 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

Reply via email to