I – Que permet de faire GitHub ?
GitHub est un service d’hébergement du code source et de gestion de projet, basé sur Git. Il permet à la communauté de voir très facilement toutes les modifications effectuées sur un projet, mais aussi de créer ses propres branches du projet, qui peuvent être réintégrées sur simple demande.
C’est donc un très bon moyen de faciliter la participation de la communauté opensource à un projet.
II – Pourquoi c’est une bonne chose pour MariaDB
L’interface de GitHub facilite grandement le suivi des modifications effectuées sur le code, et l’interaction avec les équipes de MariaDB au fil du développement.
…
[Lire plus]