Y así, todo al día.
Lo curioso de Git es su apoyo en ese proyecto real, el proyecto Linux, tan grande, tan colosal (no en el sentido negativo); y es gestionado gracias a una buena idea.
Por otra parte, sí que es irónico que Github contenía la mayoría de los proyectos de software libre y él era propietario; llega Gitlab a ser open source, y lo usan empresas de desarrollo de código privativo.