Le 26/06/2018 à 18:26, Pirate Praveen a écrit : > In other teams, we keep the repos in case someone wants to continue in > future. I agree, I prefer keeping the repository of the removed packages. Emmanuel Bourg