GitProjectHealth: an Extensible Framework for Git Social Platform Mining. - Nicolas Hlad; Benoît Verhaeghe; Kilian Bauvent (MSR, 2025)