L'Europe vient de dépasser les États-Unis en nombre de git pushes.