Il programma per gestire l'archivio dei repo è file manager? Nella lista che vedo nel sito che mi hai dato vedo che c'è un file manager