delete old repo infos (somewhat indiscriminately)