Re: [Savannah-hackers-public] inetutils: accidental push of branch

[Jim Meyering]

Sylvain Beucler wrote:
> On Mon, Dec 07, 2009 at 01:57:06PM +0100, Jim Meyering wrote:
>> Sylvain Beucler wrote:
>> > On Mon, Dec 07, 2009 at 05:55:05AM -0500, Alfred M. Szmidt wrote:
>> >>    On Sat, Dec 05, 2009 at 05:43:36AM -0500, Alfred M. Szmidt wrote:
>> >>    > Could someone remove the ams branch in inetutils? I pushed it by
>> >>    > accident, and it seems that I cannot remove.
>> >>
>> >>    This section is dedicated to you:
>> >>    http://savannah.gnu.org/maintenance/UsingGit#removing-a-branch
>> >>
>> >> $ git push origin :ams
>> >> *** Deleting a branch is not allowed in this repository
>> >> error: hooks/update exited with error code 1
>> >> error: hook declined to update refs/heads/ams
>> >>
>> >> So that section is of no help to me.
>> >
>> > Jim, do you know what is inetutils' "update" hook?
>>
>> Hi Sylvain,
>>
>> It's a mostly-default one.
>> You can enable branch deletion by doing this on the server:
>>
>>   git --git-dir /vservers/vcs-noshell/srv/git/inetutils.git \
>>     config hooks.allowdeletebranch true
>>
>> There are comments in hooks/update that describe this
>> and the other config-controlled options.
>
> Yes but we don't use it by default - I suppose that you installed it
> as part of the migration to Git.

Yes, it was on request.

> What was its purpose - so we know what we should or should not modify
> (or disable it entirely)?

Part of its goal is to prohibit pushing merge commits:

  # hooks.denymerge.BRANCH_NAME
  #   When this boolean is true, you may not push a merge commit to BRANCH_NAME.
  #   By default, you may.

That is currently enabled via this config setting:

  hooks.denymerge.master=true