Le 26/06/2018 à 23:30, Geert Stappers a écrit : > Any hard objections on updating obsolete repos > with a pointer to the new git repository? Adding a reference to the new repository in the description of the old repository is a good idea. Emmanuel Bourg