irislab-github Ce dépôt sert de support à un atelier de présentation de la plate-forme collaborative github.