Pousser du code vers GitHub est l'une des interactions les plus fondamentales que les développeurs ont avec GitHub chaque jour. Découvrez comment nous avons considérablement amélioré la capacité de notre monolithe à traiter correctement et complètement les poussées de nos utilisateurs.