On Thu, Jan 27, 2011 at 11:13 AM, Magnus Hagander <magnus@hagander.net> wrote:
> On Wed, Jan 26, 2011 at 17:37, Andrew Dunstan <andrew@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)
I think it's highly unlikely to happen by mistake as it is.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company