Hi, so, the Git history has now been rewritten. The main repo (5 times smaller than the old one!) will soon be available again for committers, and public mirrors at git-tails.immerda.ch and GitLab are up-to-date.
*You* have to do something about it: https://tails.boum.org/contribute/git/post-rewrite/ Feel free to ask if you have questions or difficulties. 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) Cheers, -- intrigeri _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
