[Savannah-hackers-public] Re: Prevent accidental Git head deletion

[Jim Meyering]

Neil Jerram wrote:
> This is a query about the Guile Git repository on Savannah... I'm
> hoping you are the right people to ask about this.

It's good to keep this sort of discussion on the list.  Cc'd.

> 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.

It may not be worth worrying about, since a "head" is just a reference
to a commit.  If you ever accidentally delete one, run "git reflog"
and see where it last pointed (for you), then recreate it and push.