David Kastrup <[email protected]> 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
