Europa har nettopp passert USA i antall git-pushes.