Europa hat gerade die USA in der Anzahl der Git-Pushes überholt.