Hi,
ETA: Tuesday, noon CET.
before rewriting the Git history, we'll first delete a bunch of
branches. Not only the already merged ones, as mentioned by Jurre
earlier today on this list; but also a lot of now-irrelevant branches.
I've compiled a list of branches I think we can delete, in the "Can be
deleted" section of this blueprint:
https://tails.boum.org/blueprint/rewrite_Git_history/
Please have a look and shout if there's something in there that we
should keep.
Also, if you're Alan, anonym, bertagaz or sajolida, look for your name
on that blueprint: there are a few branches I need your opinion about
=> please move them to the appropriate section.
Thanks in advance!
Cheers,
--
intrigeri