Elimina repositorios con referencias a redmic.net See merge request redmic-project/server/library/db!10