Re: Output to directory patch

[David Kastrup]

Tassilo Horn <tsdh@gnu.org> writes:

> Al Haji-Ali <abdo.haji.ali@gmail.com> writes:
>
> Hi Al,
>
>> 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.  And force-pushing on master at least is not something one should
do ever.

-- 
David Kastrup