Tassilo Horn <[email protected]> writes: > 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?
No. I've written one up for use with the LilyPond project at one point of time but never tested it or had it deployed. By now the LilyPond repository has been moved to GitLab for the main development so that plan has become moot anyway. I'd have to dig through my disks to see where this writeup was, but as I said: it never saw any test or action and thus is not likely to save a lot of time, effort or pain. In the end, deleting and rewriting a branch is not all that much more effort. -- David Kastrup
