And it's not just Linux, it's this thing called Git, which is this management system for software development.
Ce n'est pas que Linux, c'est ce truc appelé Git, qui est un système de gestion pour le développement logiciel.