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. _______________________________________________ Tails-dev mailing list Tails-dev@boum.org https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to tails-dev-unsubscr...@boum.org.