* Risolto bug rimozione app dalle repository (#568)

* Aggiornamenti dell'indice molto più rapidi