[Savannah-help-public] Prevent accidental Git head deletion

[Neil Jerram]

This is a query about the Guile Git repository on Savannah...

Is it possible to configure our repository so that some kind of
confirmation step is needed before deleting a head?  The aim here is
simply to have a protection against bad accidents, not to try to
discriminate against any of our developers.

If it is possible, could the same be applied to pushes that are not
fast-forward?  I don't know if we'd actually want that, but I'd like
to know what the options are, so I can propose them to our developers.

Alternatively, is it the case that repositories on Savannah are backed
up somehow? - in which case that may already be a sufficient
protection.

Many thanks,
    Neil (Guile co-maintainer)