Tassilo Horn <[email protected]> writes: > Al Haji-Ali <[email protected]> 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
