Re: [Tails-dev] Heads up! Git history has been rewritten, *you* have to do something [Was: Rewriting the Git repository]

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 b

[Tails-dev] Heads up! Git history has been rewritten, *you* have to do something [Was: Rewriting the Git repository]

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