Europa acaba de superar a EE. UU. en el número de git pushes.