On Wed, Feb 25, 2015 at 06:57:16PM +0100, intrigeri wrote:
> Hi,
>
> Non-Git-committers can skip what follows, but Git committers should
> probably read it.
>
> Note that Git hooks have been set up so that we should *not* be able
> to mistakenly push obsolete, deleted tags (jenkins-*..) nor any branch
> or other kind of ref that contains any commit from the old history.
>
> And while we were at it, the same hooks also prevent us from
> mistakenly pushing unannotated (unsigned) Git tags, since they're
> a real pain to deal with on the infra side of things (e.g. one cannot
> ensure they propagate correctly once rewritten, among other problems).
>
> If you have ideas of other fail-safe protections we could add there,
> cool, let's discuss that! (in a dedicated thread, though)
Also note that this might be the right time while reconfiguring your git
to remove the old common `user.name` and `user.email` git config we used, as
we decided recently to get rid of that. :)
bert.
