Ce dépôt est utilisé pour stocker divers fichiers de configuration partagés au sein de l'équipe de développement FUN. Il contient des instructions pour installer et utiliser l'outil 'labels' qui permet d'automatiser la création d'étiquettes pour les issues et les pull requests sur GitHub.