Re: Output to directory patch

[Tassilo Horn]

David Kastrup <dak@gnu.org> writes:

>>> Tasillo, I would be grateful if you can pull those changes when you
>>> get a chance.
>>
>> Done so, although I've had to delete and recreate the branch because
>> apparently savannah seems to disallow force-pushing and it seems
>> there is no setting for that on our administration page.
>
> Yup.  Always been like that.  With a fine-grained hook, one could
> allow force-pushing on some branches but not on others (after getting
> Savannah admins to install the hook and enable force-pushing) but we
> never went there.

Do you have an example of such an hook handy?

> And force-pushing on master at least is not something one should do
> ever.

That's for sure.

Bye,
Tassilo