This project is archived. Its data is
read-only
.
Fichier repos.json inutile
Ce serait bien de supprimer le fichier repos.json à la fin du script.