Utilisation de GitHub en workshop