c’est sur que cela serait utile, mais pas indispensable non plus, a priori. Cela étant si on part sur les dates de @cerdic pour le moment de la migration, il n’y pas de raison que cela pose problème car cela ne se combinerait pas avec les dates des formations
@JamesRezo on est d’accord que ni le terme gitea_mirror
ni le principe lui meme n’est idéal. Mais faute de mieux pour l’instant. Cela étant l’usage pour moi c’est en gros moins d’1/fois ans.