On 02/22/2015 05:47 PM, intrigeri wrote: > Looks good. Pushed a few minor rephrasing and formatting improvements.
Cheers!
> There's one confusing point, though: somewhere it is said that merged
> branches can be deleted "After a new Tails release has been shipped",
> while elsewhere I see "it can be done post-merge". This should be
> clarified.
I have done so.
> I personally prefer if it's done after each release, and not after
> each merge: we're in no hurry, and IMO it is not worth adding more
> steps to the review'n'merge process. Ack!
