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!


_______________________________________________
Tails-dev mailing list
Tails-dev@boum.org
https://mailman.boum.org/listinfo/tails-dev
To unsubscribe from this list, send an empty email to 
tails-dev-unsubscr...@boum.org.

Reply via email to