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
