Réduction de la taille du dépôt

[jlecour]

Le dépôt du site du PLUG fait environ 100 Mo.

À part les fichiers indispensables au site, il contient 2 morceaux devenus inutiles :

• les gems embarquées (récemment supprimées car inutiles)
• les fichiers des présentation (déportées dans le dépôt plug/public-files)

Si certains pensent que se cogner 100 Mo de téléchargement lors du clone et un historique plein de ces choses est un soucis, on peut envisager de purger ces fichiers de l'historique. Ça a 2 inconvénients :

• ça force tous les clone actuels à se resynchroniser ; c'est pas grave, mais il faut y penser ;
• ça perturbe l'historique du dépôt et l'état du site à certains points peut devenir incohérent.

Ces 2 points ne me paraissent pas bloquants, mais ils peuvent dépasser le bénéfice du nettoyage selon certains.

Je suis preneur de votre avis avant de faire quoi que ce soit.